Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs

DOI10.1007/978-3-540-88833-8_15MaRDI QIDQ3602955zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• Strongly analytic tableaux for normal modal logics
• Clausal Tableaux for Multimodal Logics of Belief
• An analytic tableau calculus for a temporalised belief logic
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Automated Reasoning with Analytic Tableaux and Related Methods

Cites work

• scientific article; zbMATH DE number 1189095 (Why is no real title available?)
• scientific article; zbMATH DE number 67500 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2182495 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
• Automated Reasoning with Analytic Tableaux and Related Methods
• Combining deduction and model checking into tableaux and algorithms for converse-PDL.
• Decidability of SHIQ with complex role inclusion axioms
• Deciding regular grammar logics with converse through first-order logic
• EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• Modal tableau calculi and interpolation
• Multimodal logic programming
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• Reasoning About Epistemic States of Agents by Modal Logic Programming
• Tableau methods for modal and temporal logics
• The Complexity of Regularity in Grammar Logics and Related Modal Logics

Cited in

(6)

• Tableau Systems for Epistemic Positional Logics
• An analytic tableau calculus for a temporalised belief logic
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• A Tableau Calculus for Regular Grammar Logics with Converse
• 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)