Logic of Violations: A Gentzen system for reasoning with contrary-to-duty obligations (2005)

by Guido Governatori , Antonino Rotolo
Venue:Australasian Journal of Logic
Citations:46 - 28 self