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