Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus

Igor Walukiewicz

Browse the full LICS paper archive.