Dynamic Logics for Interactive Belief Revision
By Alexandru Baltag and Sonja Smets
Course at ESSLLI'09 - section on "Logic and Computation"
Welcome to our course on Dynamic Logics for Interactive Belief Revision:
ESSLLI'09 Course Description
ESSLLI'09 Slides
ESSLLI'09 References