Return to Article Details Logic of Violations: A Gentzen System for Reasoningwith Contrary-To-Duty Obligations Download Download PDF