Dynamic epistemic logic - Gerbrandy, Jelle (Inst. for Logic, Language and Computation, 1997)