The Undecidability of Monadic Modal Quantification Theory
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8:113-116 (1962)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Configure |
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Takashi Yagisawa (2012). Unrestricted Quantification and Reality: Reply to Kim. Acta Analytica 27 (1):77-79.
Alfred Tarski (1968/2010). Undecidable Theories. Amsterdam, North-Holland Pub. Co..
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Ćukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
Yuri Gurevich & Saharon Shelah (1979). Modest Theory of Short Chains. II. Journal of Symbolic Logic 44 (4):491-502.
Monthly downloads |
Added to index2010-02-06Total downloads48 ( #22,433 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |

