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:
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: