Groeneveld, W. (1995). Dynamic Epistemic Logic. Proceedings of the Amsterdam Colloquium, 299-318. https://doi.org/10.53437/v9f8em51