Flat Coalgebraic Fixed Point Logics
From MaRDI portal
Publication:3584953
DOI10.1007/978-3-642-15375-4_36zbMath1287.03076arXiv1004.2717MaRDI QIDQ3584953
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
completeness; algebraic semantics; coalgebraic logic; branching-time temporal logics; alternating-time temporal logic; graded \(\mu\)-calculus; Kozen/Park axioms
68Q25: Analysis of algorithms and problem complexity
03B70: Logic in computer science
03G30: Categorical logic, topoi
03B44: Temporal logic