Clausal Tableaux for Multimodal Logics of Belief
-
Altmetric Citations
Gore, Rajeev; Nguyen, Linh Anh
Description
We develop clausal tableau calculi for six multimodal logics variously designed for reasoning about multi-degree belief, reasoning about distributed systems of belief and for reasoning about epistemic states of agents in multi-agent systems. Our tableau calculi are sound, complete, cut-free and have the analytic superformula property, thereby giving decision procedures for all of these logics. We also use our calculi to obtain complexity results for five of these logics. The complexity of the...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2009 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/17334 |
Source: | Fundamenta Mathematicae |
DOI: | 10.3233/FI-2009-115 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Gore_Clausal_Tableaux_for_2009.pdf | 156.43 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator