發送短信: The Algebra of Multi−Agent Dynamic Belief Revision