Dynamic Epistemic Logic - Groeneveld, Willem (Proceedings of the Amsterdam Colloquium, 1995)
-