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