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