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