Cut-Free Tableau Calculi for some Intuitionistic Modal Logics Mauro Ferrari OriginalPaper Pages: 303 - 330
Rules of Existential Quantification into "Intensional Contexts" Pavel Materna OriginalPaper Pages: 331 - 343
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable Michael Zakharyaschev OriginalPaper Pages: 345 - 358
On the Algebraizability of Annotated Logics Renato A. LewinIrene F. MikenbergMarĂa G. Schwarze OriginalPaper Pages: 359 - 386
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable Dmitrij Skvortsov OriginalPaper Pages: 387 - 396
Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours Edwin D. MaresPaul McNamara OriginalPaper Pages: 397 - 415
Lambda Calculus and Intuitionistic Linear Logic Simona Ronchi della RoccaLuca Roversi OriginalPaper Pages: 417 - 448