The Undecidability of Monadic Modal Quantification Theory

Journal of Symbolic Logic 31 (2):277-278 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269848

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
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
2017-02-21

Downloads
7 (#1,402,278)

6 months
2 (#1,236,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references