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

DOI10.2307/2275098MaRDI QIDQ4276022zbMATH OpenOpenAlexFDO

Authors Valentin Shehtman, Dov 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 logicKripke framepropositional intermediate logicquantified modal logicstwo-variable fragments

Mathematics Subject Classification ID

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

Recommendations

• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Undecidability results on two-variable logics
• Undecidability results on two-variable logics
• On logics with two variables
• Undecidability of modal logics of unary predicate

Cites work

• A completeness theorem in modal logic
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• scientific article; zbMATH DE number 3148407 (Why is no real title available?)
• scientific article; zbMATH DE number 3657754 (Why is no real title available?)
• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• On languages with two variables
• Semantical investigations in Heyting's intuitionistic logic
• The finite model property for MIPQ and some consequences
• The Undecidability of Monadic Modal Quantification Theory
• Two-dimensional modal logic

Cited in

(24)

• Undecidability results on two-variable logics
• Decidable and undecidable logics with a binary modality
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Non-primitive recursive decidability of products of modal logics with expanding domains
• Simulation of two dimensions in unimodal logics
• Two-Variable Separation Logic and Its Inner Circle
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
• Four variables suffice
• scientific article; zbMATH DE number 1500655 (Why is no real title available?)
• Undecidability of modal logics of unary predicate
• Modal Logics Between Propositional and First-order
• Decidability of cylindric set algebras of dimension two and first-order logic with two variables
• Undecidability results on two-variable logics
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Bundled fragments of first-order modal logic: (un)decidability
• Two variable fragment of term modal logic
• Nilpotent Minimum Logic NM and Pretabularity
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
• Variations on the Kripke trick

This page was built for publication: Undecidability of modal and intermediate first-order logics with two individual variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4276022)