Cirstea, CorinaKupke, C.Pattinson, Dirk2015-12-131860-5974http://hdl.handle.net/1885/79038The 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 introduceAuthor/s retain copyrightKeywords: µ-Calculus; Coalgebra; Modal logic; Tableau-based decision procedures201110.2168/LMCS-7 (3:03) 20112016-02-24