Rotolo, Antonino, CIRSFID, University of Bologna, Italy

• The Australasian Journal of Logic Vol. 4 (2006): Australasian Journal of Logic - Articles
  Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
  Abstract  PDF