Temporal deontic logic as a reduction to ATL.

28^th March 2006, 16:00
Dr. Jan Broersen
Department of Information and Computing Sciences, University of Utrecht, The Netherlands