Clausal tableaux for multimodal logics of belief

Rajeev Goré, Linh Anh Nguyen

    Research output: Contribution to journalArticlepeer-review

    11 Citations (Scopus)

    Abstract

    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.

    Original languageEnglish
    Pages (from-to)21-40
    Number of pages20
    JournalFundamenta Informaticae
    Volume94
    Issue number1
    DOIs
    Publication statusPublished - 2009

    Fingerprint

    Dive into the research topics of 'Clausal tableaux for multimodal logics of belief'. Together they form a unique fingerprint.

    Cite this