The Logic of Conditional Doxastic Actions
Alexandru Baltag, Sonja Smets · 2025
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.