The logic of conditional doxastic actions: a theory of dynamic multi-agent belief revision

Abstract. We present a logic of conditional doxastic actions, obtained by incorporating ideas from belief revision theory into the usual dynamic logic of epistemic actions. We do this by extending to actions the setting of epistemic plausibility models, developed in Baltag and Smets (2006) for representing (static) conditional beliefs. We introduce a natural extension of the notion of update product from Baltag and Moss (2004) to plausibility models.