Skip to main content
SpringerLink
Log in

Normal modal model theory

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. P.Aczel,Saturated Intuitionistic Theories, Contributions to Mathematical Logic, North Holland, Amsterdam, 1968, pp. 1–11.

    Google Scholar 

  2. J.Bell and A.Slomsen,Models and Ultraproducts, North Holland, Amsterdam, 1971.

    Google Scholar 

  3. T.Frayne, A.Morel, and D.Scott, ‘Reduced Direct Products’,Fund. Math. 51 (1962), 195–228.

    Google Scholar 

  4. D.Gabbay, ‘Model Theory for Intuitionistic Logic’,Zeit. f. Math. Logik, und Grundl. d. Math. 18 (1972), 49–54.

    Google Scholar 

  5. D. Gabbey,Craig's Interpolation Theorem for Modal Logics, Conference in Mathematical Logic-London `70, Lecture Notes in Mathematics, No. 255, Springer, 1972, pp. 111–127.

  6. T.Jech,Lectures in Set Theory, Lecture Notes in Mathematics, No. 217, Springer-Verlag, Berlin, 1971.

    Google Scholar 

  7. S.Kripke, ‘A Completeness Theorem in Modal Logic’,Journal of Symbolic Logic,24 (1959), 1–14.

    Google Scholar 

  8. S.Kripke, ‘Semantical Analysis of Modal Logic I, Normal Propositional Calculi’,Zeit. f. math. Logik und Grundlagen d. Math. 9 (1963), 67–96.

    Google Scholar 

  9. S. Kripke,Semantical Considerations on Modal Logics, Acta Philosophica Fennica (1963) Modal and Many-valued Logics, pp. 83–94.

  10. S.Kripke,Semantical Analysis of Intuitionistic Logic I, Formal Systems and Recursive Functions, North Holland, Amsterdam, 1965, pp. 92–129.

    Google Scholar 

  11. S.Kochen, ‘Ultraproducts in the Theory of Models’,Annals of Math. 74 (1962), 221–261.

    Google Scholar 

  12. H.Osswald, ‘Modelltheoretische untersuchungen in der Kripke-semantik’,Archiv. f. Math. Logik und Grundlagenforschung 13 (1969), 3–21.

    Google Scholar 

  13. K.Schutte,Vollstandige Systeme Modaler und Intuitionistischer Logik, Springer-Verlag, Berlin, 1968.

    Google Scholar 

  14. J.Shoenfield,Mathematical Logic, Addison-Wesley, Reading, Mass., 1967.

    Google Scholar 

  15. A.Tarski and R.Vaught, ‘Arithmetical Extensions of Relational Systems’,Composito Mathematica 13 (1957), 81–102.

    Google Scholar 

  16. B.vanFraasen, ‘Compactness and Löwenheim-Skolem Proofs in Modal Logic’,Logique et Analyse 12 (1969), 167–178.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Syracuse University, Syracuse, USA

    Kenneth A. Bowen

Authors
  1. Kenneth A. Bowen
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This research was supported in part by ARPA grant DAHCO4-72-C-0003.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bowen, K.A. Normal modal model theory. J Philos Logic 4, 97–131 (1975). https://doi.org/10.1007/BF00693269

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00693269

Search

Navigation