The Logic of Conditional Doxastic Actions

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 reformulating the setting of Action-Priority Update (see Baltag and Smets, 2008) in terms of conditional doxastic models, and using this to derive general reduction laws for conditional beliefs after arbitrary actions.