Logic of Violations : A Gentzen System for Reasoning with Contrary-To-Duty Obligations

@inproceedings{Governatori2005LogicOV,
  title={Logic of Violations : A Gentzen System for Reasoning with Contrary-To-Duty Obligations},
  author={Guido Governatori},
  year={2005}
}
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the… CONTINUE READING

Topics

Statistics

01020'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

149 Citations

Semantic Scholar estimates that this publication has 149 citations based on the available data.

See our FAQ for additional information.