Results on the Propositional µ-Calculus
Open Access
- 1 May 1982
- journal article
- Published by Det Kgl. Bibliotek/Royal Danish Library in DAIMI Report Series
- Vol. 11 (146)
- https://doi.org/10.7146/dpb.v11i146.7420
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: