|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 2 of 6 found articles
| Title: |
Clausal Tableaux for Multimodal Logics of Belief |
| Author: |
Goré, Rajeev Nguyen, Linh Anh |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 94 (2009) nr. 1 pages 21-40 |
| Year: |
2009-08-19 |
| Contents: |
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 remaining logic was known. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 2 of 6 found articles
| << previous | next >> |