Mu-depth 3 is more than 2: a game-theoretic proof

DOI10.1017/S0960129500003194zbMath0979.03034MaRDI QIDQ2719798

Giacomo Lenzi

Publication date: 17 July 2001

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

mu-calculusfixed point alternation depth

Mathematics Subject Classification ID

Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Monadic Second Order Logic And Its Fragments