Stav dette: The Algebra of Multi−Agent Dynamic Belief Revision