Ditmarsch, Hans van Hoek, Wiebe. Van Der Kooi, Barteld. <br/><br/>
Dynamic Epistemic Logic / 
Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi. 
 - Netherlands :  Springer,  c2007. 
 - xi, 282p.  
<br/><br/><label>ISBN: </label>9781402058387 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic.<br/>Epistemics.
<br/><br/><label>Dewey Class. No.: </label>121  / DIT/D