Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics
Johan van Benthem, Cédric Dégrémont

Abstract:
We relate dynamic logics constructing new doxastic models
as results of belief revision with doxastic temporal logics
which describe changing beliefs over branching time models. 
Results include a representation theorem as well as modal 
definability results through frame correspondences. This 
work has been presented at LOFT 2008 (Amsterdam), and an 
extended version will be presented at ESSLLI Hamburg 2008.