A Completeness Theorem in Modal Logic

Journal of Symbolic Logic 31 (2):276-277 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1966

DOI

10.2307/2269847

Other Versions

original Kripke, Saul (1959) "A completeness theorem in modal logic". Journal of Symbolic Logic 24(1):1-14

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: 103,885

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

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
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
2017-02-21

Downloads
52 (#454,303)

6 months
5 (#832,399)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Restrictions on Quantifier Domains.Kai von Fintel - 1994 - Dissertation, University of Massachusetts at Amherst
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.
Being in a position to know.Juhani Yli-Vakkuri & John Hawthorne - 2022 - Philosophical Studies 179 (4):1323-1339.
Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.

View all 123 citations / Add more citations

References found in this work

No references found.

Add more references