Alternating Epistemic Mu-Calculus

Open in new window