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:59 - 38 self