Tim French, John Christopher McCabe-Dansted, Mark Reynolds. Axioms for Obligation and Robustness with Temporal Logic. In Guido Governatori, Giovanni Sartor, editors, Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings. Volume 6181 of Lecture Notes in Computer Science, pages 66-83, Springer, 2010. [doi]
Abstract is missing.