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