Johan van Benthem, Cédric Dégremont. Bridges between Dynamic Doxastic and Doxastic Temporal Logics. In Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek, editors, Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers. Volume 6006 of Lecture Notes in Computer Science, pages 151-173, Springer, 2008. [doi]
Abstract is missing.