Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems

9^th November 2009, 16:00
Dr Ji Ruan
St. Francis Xavier University, Antigonish, NS, Canada