Cirstea, Corina; Kupke, Clemens; Pattinson, Dirk
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic. In this paper, we introduce the coalgebraic μ-calculus, an extension of the general (coalgebraic) framework with fixpoint operators. Our main results are completeness of the associated tableau calculus and EXPTIME decidability. Technically, this is achieved by reducing...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.