Alessio Lomuscio, Bozena Wozna. A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. 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 238-254, Springer, 2006. [doi]
Abstract is missing.