Rudiments of μ-calculus
André Arnold, Damian Niwiński · Elsevier eBooks · 2001
1.Complete lattices and fixed-point theorems.2. The mu-calculi: Syntax and semantics.3.The Boolean mu-calculus.4.Parity Games.5.The mu-calculus on words.6.The mucalculus over powerset algebras.7.The mu-calculus versus automata.8.Hierachy problems.9.Distributivity and normal form results.10.Decision problems.11.Algorithms.