Torres, J. (2021) “Dynamic Epistemic Logic in Game Design”, Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 13(2), pp. 135-140. doi: 10.1609/aiide.v13i2.12965.