Multi-agent belief dynamics:
bridges between dynamic doxastic and doxastic temporal logics
Johan van Benthem, Cédric Dégrémont

Abstract:
We analyze the temporal behavior of agents updating their beliefs
according to the dynamic-epistemic priority rule, and prove a
representation theorem for the temporal models arising in this way.

Keywords: belief revision, priority update, dynamic epistemic logic,
doxastic temporal logic