1. Pretabular varieties of modal algebras

   • W. J. Blok

   OriginalPaper Pages: 101 - 124

2. Some kinds of modal completeness

   • J. F. A. K. van Benthem

   OriginalPaper Pages: 125 - 141

3. Independent propositional modal logics

   • S. K. Thomason

   OriginalPaper Pages: 143 - 144

4. Quantifiers as modal operators

   • Steven T. Kuhn

   OriginalPaper Pages: 145 - 158

5. First-order modal theories

   • Kit Fine

   OriginalPaper Pages: 159 - 202

6. Decidability for branching time

   • John P. Burgess

   OriginalPaper Pages: 203 - 218

7. Diodorean modality in Minkowski spacetime

   • Robert Goldblatt

   OriginalPaper Pages: 219 - 236

8. Omega-consistency and the diamond

   • George Boolos

   OriginalPaper Pages: 237 - 243

9. A modal sequent calculus for a fragment of arithmetic

   • G. Sambin
   • S. Valentini

   OriginalPaper Pages: 245 - 256

10. Application of modal logic to programming

    • Vaughan R. Pratt

    OriginalPaper Pages: 257 - 274

11. Applying modal logic

    • Krister Segerberg

    OriginalPaper Pages: 275 - 295

12. Interpolation in loop-free logic

    • Kenneth A. Bowen

    OriginalPaper Pages: 297 - 310

13. λ-Normal forms in an intensional logic for English

    • Joyce Friedman
    • David S. Warren

    OriginalPaper Pages: 311 - 324