A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study (2002)

by Guido Governatori , Antonino Rotolo
Venue:Proc. ∆eon’02
Citations:14 - 10 self