Skip navigation
Skip navigation

Exptime tableaux for the coalgebraic μ-calculus

Cirstea, Corina; Kupke, C.; 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

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: Logical Methods in Computer Science
DOI: 10.2168/LMCS-7 (3:03) 2011
Access Rights: Open Access


File Description SizeFormat Image
01_Cirstea_Exptime_tableaux_for_the_2011.pdf338.32 kBAdobe PDF

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator