The Algebra of Multi−Agent Dynamic Belief Revision - Baltag, A; Sadrzadeh, M (2006)