A Note on the Completeness of Kozen's Axiomatisation of the Propositional $\mu $-Calculus
Igor Walukiewicz
Source: Bull. Symbolic Logic Volume 2, Number 3 (1996), 349-366.
Abstract
The propositional $\mu $-calculus is an extension of the modal system $\text{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 $\text{K}$. It is shown that this axiomatisation is complete.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1182353454
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet):
MR1416873
Zentralblatt MATH identifier:
0868.03010
