A completeness theorem in modal logic

Journal of Symbolic Logic 24 (1):1-14 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964568

Other Versions

reprint Kripke, Saul A. (1959) "A Completeness Theorem in Modal Logic". Journal of Symbolic Logic 31(2):276-277

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

Arithmetical Completeness Theorem for Modal Logic $$mathsf{}$$.Taishi Kurahashi - 2018 - Studia Logica 106 (2):219-235.
Saul A. Kripke. A completeness theorem in modal logic. The journal of symbolic logic, vol. 24 no. 1, pp. 1–14.Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):276-277.
Semantical Considerations Of The Modal Logic.Saul Kripke - 2007 - Studia Philosophica 1.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Modal extension of ideal paraconsistent four-valued logic and its subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Saul Kripke: A Portrait of the Modal Logician as a Young Man.Yale Weiss & Romina Birman - 2024 - In Yale Weiss & Romina Birman, Saul Kripke on Modal Logic. Cham: Springer Verlag. pp. 7-21.
The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.

Analytics

Added to PP
2009-01-28

Downloads
1,280 (#37,014)

6 months
144 (#94,018)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Saul Kripke
Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

Restrictions on Quantifier Domains.Kai von Fintel - 1994 - Dissertation, University of Massachusetts at Amherst
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Truth in Fiction: Rethinking its Logic.John Woods - 2018 - Cham, Switzerland: Springer Verlag.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press.

View all 375 citations / Add more citations

References found in this work

Three Grades of Modal Involvement.W. V. Quine - 1953 - Proceedings of the XIth International Congress of Philosophy 14:65-81.
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.

View all 6 references / Add more references