Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

DOI10.1007/s11225-018-9815-7OpenAlexW2625204098WikidataQ129560000 ScholiaQ129560000MaRDI QIDQ2323638

Dmitry Shkatov, Mikhail Rybakov

Publication date: 3 September 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.05060

zbMATH Keywords

undecidabilityfirst-order modal logictwo-variable fragmentmonadic fragmentfirst-order intuitionistic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (10)

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 ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Computational complexity of the word problem in modal and Heyting algebras with a small number of generators ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The predicate modal logic of provability
• Semantical investigations in Heyting's intuitionistic logic
• A propositional logic with explicit fixed points
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Decidable fragments of first-order modal logics
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Complexity of intuitionistic propositional logic and its fragments
• On formulas of one variable in intuitionistic propositional calculus
• The Undecidability of Monadic Modal Quantification Theory
• On languages with two variables
• On the Decision Problem for Two-Variable First-Order Logic
• On the complexity of propositional quantification in intuitionistic logic
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• Complexity of finite-variable fragments of propositional modal logics of symmetric frames
• The undecidability of the domino problem

This page was built for publication: Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter