Decidable fragments of first-order modal logics
From MaRDI portal
Publication:2758067
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
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