Journal of Logic, Language and Information

, Volume 15, Issue 4, pp 303–329

A Formal Model of Multi-Agent Belief-Interaction


DOI: 10.1007/s10849-006-3776-3

Cite this article as:
Cantwell, J. JoLLI (2006) 15: 303. doi:10.1007/s10849-006-3776-3


A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.

Key words

common announcements dynamic logic epistemic logic common knowledge belief revision 

Copyright information

© Springer Science + Business Media, Inc. 2006

Authors and Affiliations

  1. 1.The Philosophy UnitThe Royal Institute of TechnologyStockholmSweden

Personalised recommendations