Volume 39, Issue 2-3, 1980

ISSN: 0039-3215 (Print) 1572-8730 (Online)

In this issue (13 articles)

  1. No Access

    OriginalPaper

    Pretabular varieties of modal algebras

    W. J. Blok Pages 101-124

  2. No Access

    OriginalPaper

    Some kinds of modal completeness

    J. F. A. K. van Benthem Pages 125-141

  3. No Access

    OriginalPaper

    Independent propositional modal logics

    S. K. Thomason Pages 143-144

  4. No Access

    OriginalPaper

    Quantifiers as modal operators

    Steven T. Kuhn Pages 145-158

  5. No Access

    OriginalPaper

    First-order modal theories

    Kit Fine Pages 159-202

  6. No Access

    OriginalPaper

    Decidability for branching time

    John P. Burgess Pages 203-218

  7. No Access

    OriginalPaper

    Diodorean modality in Minkowski spacetime

    Robert Goldblatt Pages 219-236

  8. No Access

    OriginalPaper

    Omega-consistency and the diamond

    George Boolos Pages 237-243

  9. No Access

    OriginalPaper

    A modal sequent calculus for a fragment of arithmetic

    G. Sambin, S. Valentini Pages 245-256

  10. No Access

    OriginalPaper

    Application of modal logic to programming

    Vaughan R. Pratt Pages 257-274

  11. No Access

    OriginalPaper

    Applying modal logic

    Krister Segerberg Pages 275-295

  12. No Access

    OriginalPaper

    Interpolation in loop-free logic

    Kenneth A. Bowen Pages 297-310

  13. No Access

    OriginalPaper

    λ-Normal forms in an intensional logic for English

    Joyce Friedman, David S. Warren Pages 311-324