Paper

A Gentzen System for Reasoning with Contrary-To-Duty Obligations", Australasian Journal of Logic, vol

G. Governatori, A. Rotolo, "Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations", Australasian Journal of Logic, vol. 4, pp. 193-215, 2006.

2006

Created by ACM worker at 2019-04-09 16:19:37.0.
Last updated by ACM worker at 2019-04-09 16:21:17.0.
Simplified Graph of Associations
Word Cloud
Quid