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