Decidable fragments of first-order modal logics
From MaRDI portal
Recommendations
Cites work
- A multi-dimensional terminological knowledge representation language
- Attributive concept descriptions with complements
- Complexity of products of modal logics
- Ein erweiterter Klassenkalkül
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- Maslov's inverse method and decidable classes
- Modal languages and bounded fragments of predicate logic
- On languages with two variables
- On the Restraining Power of Guards
- Products of modal logics, part 1
- The finite model property for MIPQ and some consequences
- The Undecidability of Monadic Modal Quantification Theory
- Two-dimensional modal logic
Cited in
(41)- Decidable fragments of first-order temporal logics
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
- Propositional epistemic logics with quantification over agents of knowledge
- On the decidability and complexity of reasoning about only knowing
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Parameterized verification of leader/follower systems via first-order temporal logic
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Decidability of order-based modal logics
- Mechanising first-order temporal resolution
- First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- A new modal framework for epistemic logic
- Decidable Fragments of Many-Sorted Logic
- On contraction and the modal fragment
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Combinations of Theories for Decidable Fragments of First-Order Logic
- scientific article; zbMATH DE number 2043527 (Why is no real title available?)
- One-dimensional fragment of first-order logic
- scientific article; zbMATH DE number 834561 (Why is no real title available?)
- Bundled fragments of first-order modal logic: (un)decidability
- Two variable fragment of term modal logic
- Modal logics with hard diamond-free fragments
- Binding forms in first-order logic
- 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
- Ordered Fragments of First-Order Logic
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
- Completeness theorems for \(\exists \Box\)-bundled fragment of first-order modal logic
- Deciding the existence of interpolants and definitions in first-order modal logic
- Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
- Variations on the Kripke trick
- Strictly positive fragments of the provability logic of Heyting arithmetic
- Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
This page was built for publication: Decidable fragments of first-order modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758067)
