Completeness of Kozen's axiomatisation of the propositional μ-calculus
Igor Walukiewicz · 2002
We consider the propositional /spl mu/-calculus as introduced by D. Kozen (1983). In that paper a natural proof system was proposed and its completeness stated as an open problem. We show that the system is complete.