Eugenio Orlandelli. Proof Analysis in Deontic Logics. In Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent, editors, Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings. Volume 8554 of Lecture Notes in Computer Science, pages 139-148, Springer, 2014. [doi]
Abstract is missing.