A Gentzen system for reasoning with contrary-to-duty obligations. a preliminary study (2002)

by Guido Governatori, Antonino Rotolo
Venue:Imperial College. 27 Guido Governatori and Antonino Rotolo. Defeasible logic: Agency, intention and obligation. In Alessio Lomuscio and Donald Nute, editors, Deontic Logic in Computer Science, number 3065 in LNAI