Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
DOI10.1007/978-3-540-88833-8_15zbMATH Open1175.68435OpenAlexW1596272894MaRDI QIDQ3602955FDOQ3602955
Authors: Rajeev Goré, Linh Anh Nguyen 
Publication date: 12 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_15
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Cites Work
- Title not available (Why is that?)
- Decidability of SHIQ with complex role inclusion axioms
- Combining deduction and model checking into tableaux and algorithms for converse-PDL.
- A guide to completeness and complexity for modal logics of knowledge and belief
- Title not available (Why is that?)
- Tableau methods for modal and temporal logics
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
- Modal tableau calculi and interpolation
- Deciding regular grammar logics with converse through first-order logic
- Title not available (Why is that?)
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- Multimodal logic programming
- Title not available (Why is that?)
- The Complexity of Regularity in Grammar Logics and Related Modal Logics
- Automated Reasoning with Analytic Tableaux and Related Methods
- Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
- Title not available (Why is that?)
Cited In (6)
- Tableau Systems for Epistemic Positional Logics
- An analytic tableau calculus for a temporalised belief logic
- A Tableau Calculus for Regular Grammar Logics with Converse
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- ExpTime tableau decision procedures for regular grammar logics with converse
- Non-classical logics in satisfiability modulo theories
This page was built for publication: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602955)
