Game Solution, Epistemic Dynamics and Fixed-Point Logics

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2010-261