Jan Broersen. Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm s Scenario. In Lou Goble, John-Jules Ch. Meyer, editors, Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings. Volume 4048 of Lecture Notes in Computer Science, pages 53-68, Springer, 2006. [doi]
Abstract is missing.