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: 106,168

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.
Review: Saul A. Kripke, A Completeness Theorem in Modal Logic. [REVIEW]Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):276-277.
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.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
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.

Analytics

Added to PP
2017-02-21

Downloads
52 (#463,779)

6 months
5 (#853,286)

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