1. Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

   • Paolo Gentilini

   OriginalPaper Pages: 301 - 310

2. Actuality and World-Indexed Sentences

   • Adrian Miroiu

   OriginalPaper Pages: 311 - 330

3. Selective Revision

   • Eduardo L. Fermé
   • Sven Ove Hansson

   OriginalPaper Pages: 331 - 342

4. Basic Logic, K4, and Persistence

   • Wim Ruitenburg

   OriginalPaper Pages: 343 - 352

5. On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics

   • Silvio Ghilardi
   • Pierangelo Miglioli

   OriginalPaper Pages: 353 - 385

6. Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

   • Nobu-Yuki Suzuki

   OriginalPaper Pages: 387 - 416

7. Book Reviews

   OriginalPaper Pages: 417 - 448