J. Ruan and M. Thielscher, “The Epistemic Logic Behind the Game Description Language”, AAAI, vol. 25, no. 1, pp. 840–845, Aug. 2011.