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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,716

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 mathsfmathsf{}.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.
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. pp. 7-21.

Analytics

Added to PP
2009-01-28

Downloads
1,034 (#22,650)

6 months
60 (#100,880)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Truth in Fiction: Rethinking its Logic.John Woods - 2018 - Cham, Switzerland: Springer Verlag.
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press.

View all 244 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.
Introduction to Semantics.Rudolf Carnap - 1942 - Philosophy of Science 9 (3):281-282.
A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.

View all 6 references / Add more references