J. Torres, “Dynamic Epistemic Logic in Game Design”, AIIDE, vol. 13, no. 2, pp. 135-140, Jun. 2021.