The Epistemic Logic Behind the Game Description Language