|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 2 van 6 gevonden artikelen
| Titel: |
Clausal Tableaux for Multimodal Logics of Belief |
| Auteur: |
Goré, Rajeev Nguyen, Linh Anh |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 94 (2009) nr. 1 pagina's 21-40 |
| Jaar: |
2009-08-19 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 6 gevonden artikelen
| << vorige | volgende >> |