Sciweavers

CLIMA
2007

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

13 years 5 months ago
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. Applying sound global caching to the calculus, we obtain the first optimal (EXPTime) tableau decision procedure for BReg. We demonstrate the usefulness of BReg logics and our tableau calculus using the wise men puzzle and its modified version, which requires axiom (5) for single agents.
Rajeev Goré, Linh Anh Nguyen
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where CLIMA
Authors Rajeev Goré, Linh Anh Nguyen
Comments (0)