Decidable fragments of first-order modal logics

DOI10.2307/2695115zbMath0996.03010OpenAlexW2138126349MaRDI QIDQ2758067

Frank Wolter, Michael Zakharyashchev

Publication date: 26 March 2002

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1752

zbMATH Keywords

decidabilityfirst-order modal logic

Mathematics Subject Classification ID

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

Related Items

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ 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 ⋮ On the decidability and complexity of reasoning about only knowing ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Mechanising first-order temporal resolution ⋮ Unnamed Item ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Unnamed Item ⋮ Undecidability of First-Order Intuitionistic and Modal Logics with Two variables ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter ⋮ Decidable fragments of first-order temporal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maslov's inverse method and decidable classes
• Attributive concept descriptions with complements
• The finite model property for MIPQ and some consequences
• Modal languages and bounded fragments of predicate logic
• The Undecidability of Monadic Modal Quantification Theory
• On languages with two variables
• Complexity of products of modal logics
• Products of modal logics, part 1
• Ein erweiterter Klassenkalkül
• A multi-dimensional terminological knowledge representation language
• On the Restraining Power of Guards
• Two-dimensional modal logic

This page was built for publication: Decidable fragments of first-order modal logics