Exptime tableaux for the coalgebraic μ-calculus

Simple item page
dc.contributor.authorCirstea, Corina
dc.contributor.authorKupke, C.
dc.contributor.authorPattinson, Dirk
dc.date.accessioned2015-12-13T22:43:04Z
dc.date.issued2011
dc.date.updated2016-02-24T09:35:55Z
dc.description.abstractThe 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
dc.identifier.issn1860-5974
dc.identifier.urihttp://hdl.handle.net/1885/79038
dc.publisherInternational Federation of Computational Logic (IfCoLog)
dc.rightsAuthor/s retain copyrighten_AU
dc.sourceLogical Methods in Computer Science
dc.subjectKeywords: µ-Calculus; Coalgebra; Modal logic; Tableau-based decision procedures
dc.titleExptime tableaux for the coalgebraic μ-calculus
dc.typeJournal article
dcterms.accessRightsOpen Accessen_AU
local.bibliographicCitation.issue3
local.bibliographicCitation.lastpage33
local.bibliographicCitation.startpage1
local.contributor.affiliationCirstea, Corina, University of Southampton
local.contributor.affiliationKupke, C., Imperial College London
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.contributor.authoruidPattinson, Dirk, u4762643
local.description.notesImported from ARIES
local.identifier.absfor220200 - HISTORY AND PHILOSOPHY OF SPECIFIC FIELDS
local.identifier.ariespublicationf5625xPUB7576
local.identifier.citationvolume7
local.identifier.doi10.2168/LMCS-7 (3:03) 2011
local.identifier.scopusID2-s2.0-84886014791
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Cirstea_Exptime_tableaux_for_the_2011.pdf
Size:
338.32 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS