Department Seminar Series
Temporal deontic logic as a reduction to ATL.
28th March 2006, 16:00
Dr. Jan Broersen
Department of Information and Computing Sciences, University of Utrecht, The Netherlands
Maintained by Othon Michail