TY  - BOOK
AU  - Ditmarsch, Hans
AU  - Hoek, Wiebe
AU  - Kooi, Barteld
TI  - Dynamic Epistemic Logic [electronic resource]
SN  - 9781402058394
U1  - 121 
PY  - 2007///
CY  - Dordrecht
PB  - Springer
N1  - http://dx.doi.org/10.1007/978-1-4020-5839-4
ER  -