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.