Ditmarsch, Hans Dynamic Epistemic Logic [electronic resource] by Hans Ditmarsch, Wiebe Hoek and Barteld Kooi - Dordrecht Springer 2007 http://dx.doi.org/10.1007/978-1-4020-5839-4 ISBN: 9781402058394 Dewey Class. No.: 121 / (e-book)