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: 19 April 2026).