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

DOI10.2307/2275098zbMath0797.03002OpenAlexW2074507365MaRDI QIDQ4276022

Valentin Shehtman, Dov M. Gabbay

Publication date: 19 January 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275098

zbMATH Keywords

intuitionistic predicate logicquantified modal logicsKripke framepropositional intermediate logictwo-variable fragments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Related Items

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter, Complexity of finite-variable fragments of propositional temporal and modal logics of computation, Unnamed Item, Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?, Two-Variable Separation Logic and Its Inner Circle, Nilpotent Minimum Logic NM and Pretabularity, Unnamed Item, Non-primitive recursive decidability of products of modal logics with expanding domains, Undecidability of First-Order Intuitionistic and Modal Logics with Two variables, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• The finite model property for MIPQ and some consequences
• A completeness theorem in modal logic
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• The Undecidability of Monadic Modal Quantification Theory
• On languages with two variables
• Two-dimensional modal logic