Bundled fragments of first-order modal logic: (un)decidability
From MaRDI portal
Publication:5090984
DOI10.4230/LIPICS.FSTTCS.2018.43MaRDI QIDQ5090984FDOQ5090984
Authors:
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1803.10508
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Cites Work
- Title not available (Why is that?)
- Zum Entscheidungsproblem des logischen Funktionenkalküls
- Two-dimensional modal logic
- The classical decision problem.
- First-order modal logic
- Decidable fragments of first-order modal logics
- Title not available (Why is that?)
- A new modal framework for epistemic logic
- A logic of goal-directed knowing how
- The finite model property for MIPQ and some consequences
- Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
- The Undecidability of Monadic Modal Quantification Theory
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- Undecidability of modal and intermediate first-order logics with two individual variables
- Beyond knowing that: a new generation of epistemic logics
Cited In (14)
- \textit{De re} updates
- Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic
- To be announced
- Unary and two-variable interval logics
- Epistemic Logics of Structured Intensional Groups
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Are bundles good deals for first-order modal logic?
- A logic of knowing why
- Knowing how to plan
- Inquisitive logic as an epistemic logic of knowing how
- Title not available (Why is that?)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Epistemic Syllogistic: First Steps
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)
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)
