Groeneveld, W. (1995) “Dynamic Epistemic Logic”, Proceedings of the Amsterdam Colloquium, pp. 299–318. Available at: https://platform.openjournals.nl/PAC/article/view/24641 (Accessed: 5 December 2025).