ESSLLI 2009

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