TY  - BOOK
AU  - Ditmarsch, Hans Van
AU  - Hoek, Wiebe Van Der
TI  - Dynamic epistemic logic
SN  - 9781402069086
U1  - 121 
PY  - 2008///
CY  - Netherlands
PB  - Springer
KW  - Logic
ER  -