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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

The Undecidability of Monadic Modal Quantification Theory.Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):277-278.
Review: Saul A. Kripke, The Undecidability of Monadic Modal Quantification Theory. [REVIEW]Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):277-278.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Modest theory of short chains. II.Yuri Gurevich & Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (4):491-502.
On the Undecidability of Monadic Modal Predicate Logic.Akira Nakamura - 1970 - Mathematical Logic Quarterly 16 (3):257-260.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
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.
Unrestricted Quantification and Reality: Reply to Kim. [REVIEW]Takashi Yagisawa - 2012 - Acta Analytica 27 (1):77-79.
Modalising Plurals.Simon Thomas Hewitt - 2012 - Journal of Philosophical Logic 41 (5):853-875.
A Way Of Making World Quantification Explicit.Stefano Baratella & Andrea Masini - 2004 - Logic Journal of the IGPL 12 (3):199-225.
Modal logic from Kant to possible worlds semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Construction of monadic three-valued łukasiewicz algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
Plural quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.
The square of opposition in orthomodular logic.Hector Freytes, Christian de Ronde & Graciela Domenech - unknown
Wittgenstein's Theory of Quantification.T. F. Baxley - 1980 - International Logic Review 21:46.

Analytics

Added to PP
2010-02-06

Downloads
154 (#120,509)

6 months
10 (#255,790)

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