Probabilistic Dynamic Epistemic Logic

8^th April 2003, 16:00
Barteld Kooi
Department of Computing Science, University of Groningen, The Netherlands