Course on Dynamic Logics for Interactive Belief Revision
By Alexandru Baltag and Sonja Smets
Slides have been made available to the students who registered at the school.