Groeneveld, Willem. 1995. “Dynamic Epistemic Logic”. Proceedings of the Amsterdam Colloquium, December, 299-318. https://platform.openjournals.nl/PAC/article/view/24641.