Groeneveld, W. Dynamic Epistemic Logic. Proceedings of the AC 1995, 299-318.