ESSLLI 2009
ESSLLI 2009
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 Slides for students enrolled at ESSLLI 2009