Logics for Information Updates

12^th November 2002, 16:00
Alexandru Baltag
Computing Laboratory, University of Oxford, UK