A system for consistency preserving belief change

We present a dynamic doxastic logic which formalizes belief change for rational agents. It is based on the multi-agent modal logic KD45n, and therefore preserves the consistency of belief. The actions can be seen as announcements of arbitrary formulas to arbitrary groups of agents. We call it pure belief change because there is no change of propositional facts. We give a sound and complete axiomatization and argue that this logic works for communication where the source is not known to be secure. A possible application could be games where it can happen that the players lie.