Skip navigation
Skip navigation

Analytic cut-free Tableaux for regular modal logics of agent beliefs

Gore, Rajeev; Nguyen, Linh Anh


We present a sound and complete tableau calculus for a class 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 . We demonstrate the usefulness of logics and our tableau calculus using the wise men puzzle and its modified...[Show more]

CollectionsANU Research Publications
Date published: 2008
Type: Book chapter
DOI: 10.1007/978-3-540-88833-8-15


File Description SizeFormat Image
01_Gore_Analytic_cut-free_Tableaux_for_2008.pdf87.87 kBAdobe PDF    Request a copy
02_Gore_Analytic_cut-free_Tableaux_for_2008.pdf70.49 kBAdobe PDF    Request a copy
03_Gore_Analytic_cut-free_Tableaux_for_2008.pdf12.47 kBAdobe PDF    Request a copy
04_Gore_Analytic_cut-free_Tableaux_for_2008.pdf187.96 kBAdobe PDF    Request a copy
05_Gore_Analytic_cut-free_Tableaux_for_2008.pdf321.56 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator