Normal modal model theory

Journal of Philosophical Logic 4 (2):97-131 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00693269

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bowen Kenneth A.. Model theory for modal logic. Kripke models for modal predicate calculi. Synthese library, vol. 127. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, x + 127 pp. [REVIEW]Rob Goldblatt - 1981 - Journal of Symbolic Logic 46 (2):415-417.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
The decidable normal modal logics are not recursively enumerable.M. J. Cresswell - 1985 - Journal of Philosophical Logic 14 (3):231-233.
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Model theory for modal logic—part II The elimination of de re modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.
Model theory for modal logic—part III existence and predication.Kit Fine - 1981 - Journal of Philosophical Logic 10 (3):293 - 307.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Fine Kit. Model theory for modal logic. Part I—the de re/de dicto distinction. Journal of philosophical logic, vol. 7 , pp. 125–156.Fine Kit. Model theory for modal logic—part II. The elimination of de re modality. Journal of philosophical logic, vol. 7 , pp. 277–306.Fine Kit. Model theory for modal logic—part III. Existence and predication. Journal of philosophical logic, vol. 10 , pp. 293–307.Saul A. Kripke - 1985 - Journal of Symbolic Logic 50 (4):1083-1093.
Proofs and Expressiveness in Alethic Modal Logic.Maarten de Rijke & Heinrich Wansing - 2007 - In Dale Jacquette, A Companion to Philosophical Logic. Wiley-Blackwell. pp. 422–441.
Modal Logic in the Modal Sense of Modality. [REVIEW]John P. Burgess - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 51-72.

Analytics

Added to PP
2009-01-28

Downloads
109 (#449,407)

6 months
22 (#501,264)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
Failures of the interpolation lemma in quantified modal logic.Kit Fine - 1979 - Journal of Symbolic Logic 44 (2):201-206.
Well-behaved modal logics.Harold T. Hodes - 1984 - Journal of Symbolic Logic 49 (4):1393-1402.
A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (19-21):331-335.

View all 12 citations / Add more citations

References found in this work

Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley, Formal Systems and Recursive Functions. Amsterdam: North Holland. pp. 92-130.

View all 14 references / Add more references