A Gentzen System for Reasoning with Contrary-To-Duty Obligations

G. Governatori and A. Rotolo. Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations. Australasian Journal of Logic, 4: 193--215, 2006.

2006