Building bridges between dynamic and temporal doxastic logics
Johan van Benthem, Cedric Dègremont

Abstract:
In this paper, we compare two modal frameworks for multi-agent
belief revision: dynamic doxastic logics computing stepwise updates
and temporal doxastic logics describing global system evolutions,
both based on plausibility pre-orders. 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'. We define these properties
in a suitable doxastic-temporal language, discuss their meaning,
and raise some related definability issues.