Department Seminar Series
Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems
9th November 2009, 16:00
Dr Ji Ruan
St. Francis Xavier University, Antigonish, NS, Canada
Maintained by Othon Michail