Conditional doxastic logic with oughts and concurrent upgrades

In this paper, we model the behavior of an epistemic agent that faces a deliberation against a background of oughts, beliefs and information. We do this by introducing a dynamic epistemic logic where ought operators are defined and release of information makes beliefs and oughts co-vary. The static part of the logic extends single-agent Conditional Doxastic Logic by combining dyadic operators for conditional beliefs and oughts that are interpreted over two distinct preorders. The dynamic part of the logic introduces concurrent upgrade operators, which are interpreted on operations that change the two preorders in the same way, thus generating the covariation of beliefs and oughts. The effect of the covariation is that, after receiving new information, the agent will change both her beliefs and her oughts accordingly, and in deliberating, she will pick up the best states among those she takes to be the most plausible.