Tabular Intermediate Logics Comparison.

Pawel Rzazewski, Michal M. Stronkowski

Browse the full WoLLIC paper archive.