Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. (2006)

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