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


Propositional μ-calculus is an extension of the propositional modal logic with the least fixpoint operator. In the paper introducing the logic Kozen posed a question about completeness of the axiomatisation which is a small extension of the axiomatisation of the modal system K. It is shown that this axiomatisation is complete.

DOI: 10.1109/LICS.1995.523240

Extracted Key Phrases

5 Figures and Tables

Citations per Year

195 Citations

Semantic Scholar estimates that this publication has 195 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Walukiewicz1995CompletenessOK, title={Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus}, author={Igor Walukiewicz}, booktitle={LICS}, year={1995} }