1. Cut-Free Tableau Calculi for some Intuitionistic Modal Logics

   • Mauro Ferrari

   OriginalPaper Pages: 303 - 330

2. Rules of Existential Quantification into "Intensional Contexts"

   • Pavel Materna

   OriginalPaper Pages: 331 - 343

3. The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable

   • Michael Zakharyaschev

   OriginalPaper Pages: 345 - 358

4. On the Algebraizability of Annotated Logics

   • Renato A. Lewin
   • Irene F. Mikenberg
   • María G. Schwarze

   OriginalPaper Pages: 359 - 386

5. Not Every "Tabular" Predicate Logic is Finitely Axiomatizable

   • Dmitrij Skvortsov

   OriginalPaper Pages: 387 - 396

6. Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours

   • Edwin D. Mares
   • Paul McNamara

   OriginalPaper Pages: 397 - 415

7. Lambda Calculus and Intuitionistic Linear Logic

   • Simona Ronchi della Rocca
   • Luca Roversi

   OriginalPaper Pages: 417 - 448