A Note on the Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus
Igor Walukiewicz · Bulletin of Symbolic Logic · 1996
Abstract The prepositional μ-calculus is an extension of the modal system K with a least fixpoint operator. Kozen posed a question about completeness of the axiomatisation of the logic which is a small extension of the axiomatisation of the modal system K. It is shown that this axiomatisation is complete.