Flat Coalgebraic Fixed Point Logics

DOI10.1007/978-3-642-15375-4_36zbMath1287.03076arXiv1004.2717OpenAlexW3124817010MaRDI QIDQ3584953

Lutz Schröder, Yde Venema

Publication date: 31 August 2010

Published in: ACM Transactions on Computational Logic, CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1004.2717

zbMATH Keywords

completenessalgebraic semanticscoalgebraic logicbranching-time temporal logicsalternating-time temporal logicgraded \(\mu\)-calculusKozen/Park axioms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Categorical logic, topoi (03G30) Temporal logic (03B44)

Related Items (8)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Unnamed Item ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ On monotone modalities and adjointness ⋮ Coalgebraic logics \& duality ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Unnamed Item

This page was built for publication: Flat Coalgebraic Fixed Point Logics