Dynamic Epistemic Logic - Ditmarsch, Hans van; Hoek, Wiebe van der; Kooi, Barteld (Springer Netherlands, 2007)