Publication:3584953: Difference between revisions
From MaRDI portal
Publication:3584953
Created automatically from import240129110113 |
EloiFerrer (talk | contribs) m EloiFerrer moved page Flat Coalgebraic Fixed Point Logics to Flat Coalgebraic Fixed Point Logics: Duplicate |
(No difference)
|
Latest revision as of 16:02, 2 May 2024
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