The Epistemic Logic Behind the Game Description Language

Open in new window