Dynamic Epistemic Logic door Hans van Ditmarsch & Wiebe van der Hoek