Undecidability of modal and intermediate first-order logics with two individual variables

Journal of Symbolic Logic 58 (3):800-823 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,549

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On modal logics between K × K × K and s5 × s5 × S.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.

Analytics

Added to PP
2009-01-28

Downloads
51 (#308,624)

6 months
25 (#143,269)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Valentin Shehtman
Moscow State University
Dov Gabbay
Hebrew University of Jerusalem

References found in this work

Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
Five critical modal systems.L. Esakia & V. Meskhi - 1977 - Theoria 43 (1):52-60.
Unsolvable Classes of Quantificational Formulas.Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.

View all 8 references / Add more references