Partial order interpretation of a mu-calculus-like temporal logic.