TY  - BOOK
AU  - Ditmarsch,Hans van
AU  - Hoek,WiebeVan Der
AU  - Kooi,Barteld
TI  - Dynamic Epistemic Logic
SN  - 9781402058387
U1  - 121 
PY  - 2007///
CY  - Netherlands
PB  - Springer
KW  - Logic
KW  - Epistemics
ER  -