Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Exptime tableaux for the coalgebraic μ-calculus

Open Access

Download (338.32 kB)

link to publisher version

  • Altmetric Citations

Cirstea, Corina; Kupke, C.; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/79038
Source: Logical Methods in Computer Science
DOI: 10.2168/LMCS-7 (3:03) 2011
Access Rights: Open Access

Download

File Description SizeFormat Image
01_Cirstea_Exptime_tableaux_for_the_2011.pdf338.32 kBAdobe PDF
Show full item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator