This year's logic tutorial will be given by Sonja Smets (ILLC, Amsterdam).
Title: Recent topics in Dynamic Epistemic Logic
This course is addressed to students and researchers interested in logics for reasoning about multi-agent belief revision, belief updates and knowledge updates induced by various forms of communication or interaction. I will start by presenting the main notions of "standard" (or "Hard") Dynamic Epistemic Logic, arguing that this logic is appropriate for updating "hard information" (unrevisable knowledge), but that it is inappropriate for "soft information" (possibly false beliefs or defeasible knowledge). Next I move on to "soft" DEL and will present "belief-revision models", defining some important epistemic/doxastic notions and explaining the relevance of these notions to fundamental issues in contemporary Epistemology. I will focus in particular on various Belief Update operations and belief-revision policies. Time permitting I will take a look at the long-term dynamics generated by iterated belief revision.
A. Baltag and S. Smets, "A Qualitative Theory of Dynamic Interactive Belief Revision", in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory, Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008 (preprint online at http://sonja.tiddlyspot.com/ )