Clausal Tableaux for Multimodal Logics of Belief

DOI10.3233/FI-2009-115MaRDI QIDQ3397155zbMATHOpenAlexFDO

Authors Rajeev Goré, Linh Anh Nguyen

Publication date 22 September 2009

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2009-115

zbMATH Keywords

completenesstime complexitysatisfiability problemmultimodal logicsmodel graphsclausal tableau calculi

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• Modal tableaux: completeness vs. termination
• A guide to completeness and complexity for modal logics of knowledge and belief
• scientific article; zbMATH DE number 589742
• scientific article; zbMATH DE number 1418348
• Strongly analytic tableaux for normal modal logics

Cites work

• KARO

Cited in

(11)

• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
• A simple tableau system for the logic of elsewhere
• scientific article; zbMATH DE number 1612564 (Why is no real title available?)
• Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
• Complexity of logics for multi-agent systems with restricted modal context
• scientific article; zbMATH DE number 2196594 (Why is no real title available?)
• Tableau reductions: towards an optimal decision procedure for the modal necessity
• Proofs and countermodels in non-classical logics
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• Decomposability helps for deciding logics of knowledge and belief

Describes a project that uses

Uses Software

• KARO

This page was built for publication: Clausal Tableaux for Multimodal Logics of Belief

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3397155)