Clausal Tableaux for Multimodal Logics of Belief
DOI10.3233/FI-2009-115zbMATH Open1181.03009OpenAlexW1574863021MaRDI QIDQ3397155FDOQ3397155
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
Recommendations
completenesstime complexitysatisfiability problemmultimodal logicsmodel graphsclausal tableau calculi
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)
Cites Work
Cited In (11)
- Decomposability helps for deciding logics of knowledge and belief
- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
- Title not available (Why is that?)
- A simple tableau system for the logic of elsewhere
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
- Title not available (Why is that?)
- Complexity of logics for multi-agent systems with restricted modal context
- 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
- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
Uses Software
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)
