Dynamic Epistemic Logic

15^th June 2004, 16:00
Hans van Ditmarsch
Department of Computer Science, University of Otago, New Zealand