Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations (0)

by G Governatori, A Rotolo
Venue:Australasian Journal of Logic