Dynamic Epistemic Logic - Ditmarsch, Hans van; Hendricks, Vincent F.; Hoek, Wiebe van der; Kooi, Barteld Pieter; Symons, John; van Ditmarsch, Hans; Kooi, Barteld; van der Hoek, Wiebe (Springer Netherlands, 2008)