Bundled fragments of first-order modal logic: (un)decidability
From MaRDI portal
Publication:5090984
Recommendations
- Undecidability of modal and intermediate first-order logics with two individual variables
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Propositional modal logic with implicit modal quantification
- Decidable fragments of first-order modal logics
Cites work
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- A logic of goal-directed knowing how
- A new modal framework for epistemic logic
- Beyond knowing that: a new generation of epistemic logics
- Decidable fragments of first-order modal logics
- First-order modal logic
- Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
- The Undecidability of Monadic Modal Quantification Theory
- The classical decision problem.
- The finite model property for MIPQ and some consequences
- Two-dimensional modal logic
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Undecidability of modal and intermediate first-order logics with two individual variables
- Zum Entscheidungsproblem des logischen Funktionenkalküls
Cited in
(15)- Are bundles good deals for first-order modal logic?
- To be announced
- A logic of knowing why
- Unary and two-variable interval logics
- \textit{De re} updates
- Inquisitive logic as an epistemic logic of knowing how
- Epistemic Logics of Structured Intensional Groups
- Knowing how to plan
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Epistemic Syllogistic: First Steps
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)
- scientific article; zbMATH DE number 7561674 (Why is no real title available?)
- Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Bundled fragments of first-order modal logic: (un)decidability
This page was built for publication: Bundled fragments of first-order modal logic: (un)decidability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5090984)
