Bridges between Dynamic Doxastic and Doxastic Temporal Logics

This paper builds bridges between the two main families of modal logics of belief change, both based on plausibility pre-orders: dynamic doxastic logics computing stepwise updates, and temporal doxastic logics describing global system evolutions. Following earlier results linking dynamic-epistemic and epistemic-temporal logics, we prove representation theorems showing under which conditions a doxastic temporal model can be represented as the stepwise evolution of a doxastic model under successive 'priority updates'. This allows for merges, where, in particular, the notion of a 'temporal protocol' defining a global information process (for instance of communication or learning) can be introduced into the more local dynamic perspective.