Johan van Benthem Cédric Dégremont Bridges between Dynamic Doxastic and Doxastic Temporal Logics. 151-173 2008 LOFT http://dx.doi.org/10.1007/978-3-642-15164-4_8 conf/loft/2008 db/conf/loft/loft2008.html#BenthemD08