Dynamic epistemic logic - Ditmarsch, Hans van; Hoek, Wiebe van der; Kooi, Barteld P. (Synthese library, 2008)