Damian Niwinski

Mu calculus


Tutorials: Henryk Michalewski
USOS
This course wiki
Course 2003
Related event
The author and Alessandro Facchini delivered a 5 day course at ESSLLI 2014.
The following slides may give an idea about the subject.
Day 1 DN Rudiments of fixpoint logics
Day 2 AF Automata for modal fixpoint logics
Day 3 AF MSO vs Mu-calculus
Day 4 AF Fixpoint hierarchies and topology
Day 5 DN Algorithms. Probabilistic extension. Open problems