Clausal Tableaux for Multimodal Logics of Belief

DOI10.3233/FI-2009-115zbMath1181.03009OpenAlexW1574863021MaRDI QIDQ3397155

Linh Anh Nguyen, Rajeev Goré

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

completenesssatisfiability problemtime complexitymultimodal logicsmodel graphsclausal tableau calculi

Mathematics Subject Classification ID

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

Related Items

CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT, Tableau reductions: towards an optimal decision procedure for the modal necessity, Proofs and countermodels in non-classical logics

Uses Software

• KARO

Cites Work

• KARO