A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Contextual Deontic Logic
[chapter]
1999
Lecture Notes in Computer Science
In this article we propose contextual deontic logic (CDL). Contextual obligations are written as , and are to be read as ' should be the case if is the case, unless is the case'. The unless clause is analogous to the justification in Reiter's default rules. We show how contextual obligations can be used to solve certain aspects of contrary-to-duty paradoxes of dyadic deontic logic.
doi:10.1007/3-540-46581-2_16
fatcat:5zyj7kene5b3jdff4d7y2dx5x4