The dynamics of information exchange dialogues

A simple model of cooperative information exchange between multiple participants is defined, using propositional update semantics. The model is presented in the form of a reduction system. Several properties of the system are proven, concerning confluence, normalisation, properties of normal forms and reduction strategies. We end by discussing possible applications and extensions.