The Undecidability of Monadic Modal Quantification Theory

Mathematical Logic Quarterly 8 (2):113-116 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19620080204

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 113–116. [REVIEW]Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):277-278.
On the Undecidability of Monadic Modal Predicate Logic.Akira Nakamura - 1970 - Mathematical Logic Quarterly 16 (3):257-260.
Variations on the Kripke Trick.Mikhail Rybakov & Dmitry Shkatov - 2025 - Studia Logica 113 (1):1-48.
Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.Saul A. Kripke - 2024 - In Yale Weiss & Romina Birman, Saul Kripke on Modal Logic. Cham: Springer. pp. 213-242.
Kripke: modalità e verità.Achille C. Varzi - 2010 - In Andrea Borghini, Il genio compreso: la filosofia di Saul Kripke. Roma: Carocci. pp. 21–76, 186–191.
Saul Kripke (1940–).David Sosa - 2001 - In Aloysius Martinich & David Sosa, A companion to analytic philosophy. Malden, Mass.: Blackwell. pp. 466–477.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.

Analytics

Added to PP
2010-02-06

Downloads
169 (#143,598)

6 months
7 (#516,663)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

First-order modal theories III — facts.Kit Fine - 1982 - Synthese 53 (1):43-122.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
On the primary and secondary semantics of logical necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.

View all 24 citations / Add more citations

References found in this work

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

Add more references