A BRICS Mini-Course
Abstract from the lecture notes:
In this notes we consider propositional mu-calculus as introduced by Kozen. The main purpose of these notes is to present the completeness proof of the Kozen's axiomatisation of the mu-calculus. To achieve this goal we develop tools which allow us to give relatively simple proofs of results for the logic like:
These notes are intended to supplement a 6 hours course given in February 1995 at BRICS centre.