Logics containing S4 without the finite model property

  • Kit Fine
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 255)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Harrop, R., On the existence of finite models and decision procedures, Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), 1–16.MathSciNetCrossRefMATHGoogle Scholar
  2. [2]
    Makinson, D., A Normal Modal Calculus Between T and S4 Without the Finite Model Property, Journal of Symbolic Logic, vol. 34, Number 1 (1969), 35–38.MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag 1972

Authors and Affiliations

  • Kit Fine
    • 1
  1. 1.St. John's CollegeOxford

Personalised recommendations