Course on Dynamic Logics for Interactive Belief Revision
By Alexandru Baltag and Sonja Smets
Slides available to students registered for the course.