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