TY - BOOK AU - Ditmarsch,Hans van AU - Hoek,Wiebe van der AU - Kooi,Barteld ED - SpringerLink (Online service) TI - Dynamic Epistemic Logic T2 - Synthese Library SN - 9781402058394 (electronic bk.) AV - BC21.E64 D585 2007 U1 - 121 22 PY - 2007/// CY - Dordrecht PB - Springer Science+Business Media B.V. KW - Logic KW - Epistemics UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-4020-5839-4 ER -