Results on the Propositional µ-Calculus
DOI:
https://doi.org/10.7146/dpb.v11i146.7420Abstract
We define a propositional version of the µ-calculus, and give an exponential-time decision procedure, small model property, and complete deductive system. We also show that it is strictly more expressive than PDL. Finally we give an algebraic semantics and prove a representation theorem.Downloads
Published
1982-05-01
How to Cite
Kozen, D. (1982). Results on the Propositional µ-Calculus. DAIMI Report Series, 11(146). https://doi.org/10.7146/dpb.v11i146.7420
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.