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

Abstract:
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.