Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
DOI10.1007/978-3-540-88833-8_15zbMath1175.68435OpenAlexW1596272894MaRDI QIDQ3602955
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Agent technology and artificial intelligence (68T42)
Related Items (3)
Cites Work
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Modal tableau calculi and interpolation
- Decidability of SHIQ with complex role inclusion axioms
- A guide to completeness and complexity for modal logics of knowledge and belief
- Combining deduction and model checking into tableaux and algorithms for converse-PDL.
- Multimodal logic programming
- Deciding regular grammar logics with converse through first-order logic
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- The Complexity of Regularity in Grammar Logics and Related Modal Logics
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
- Automated Reasoning with Analytic Tableaux and Related Methods
- Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
