Ruan, J.; Thielscher, M. The Epistemic Logic Behind the Game Description Language. AAAI 2011, 25, 840-845.