Emphasises on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, explained in an algebraic way. This book is aimed at researchers and students interested in logic in computer science, computer aided verification, and general aspects of automata theory.
