You are about to access our book library "[(Dynamic Epistemic Logic )] [Author: Hans van Ditmarsch] [Jun-2007] full version" .