Dov M. Gabbay. The Equational Approach to Contrary-to-duty Obligations. In Christoph Beierle, Carlo Meghini, editors, Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Volume 8367 of Lecture Notes in Computer Science, pages 1-61, Springer, 2014. [doi]
Abstract is missing.