Laurent Perrussel, Jean-Marc Thévenin. A Logical Approach for Describing (Dis)Belief Change and Message Processing. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. pages 614-621, IEEE Computer Society, 2004. [doi]
Abstract is missing.