PP-2008-34: Johan van Benthem, Cédric Dégrémont Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics 1.Full Text, 2.Abstract. < Back