C Stirling, D Walker - Theoretical Computer Science, 1991 - core.ac.uk
The modal mu-calculus, due to Pratt and Kozen [12, 8], is a natural extension of dynamic
logic. It is also one method of obtaining a branching time temporal logic from a modal logic …