Groeneveld, W. 1995. Dynamic Epistemic Logic. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 299–318.