, School of Information Technology and Electrical Engineering, The University of Queensland, Australia
-
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