Ditmarsch, Hans Van Hoek, Wiebe Van der Kooi, Barteld
Dynamic epistemic logic - Netherlands Springer 2007 - 282 - Synthese library ; 00337 .
9781402058387
510.6 DIT
Dynamic epistemic logic - Netherlands Springer 2007 - 282 - Synthese library ; 00337 .
9781402058387
510.6 DIT