@inproceedings{830553654bf245caa3c7661b95a979e6,
title = "Don't ever do that! Long-term duties in PDel",
abstract = "This paper studies long-term norms concerning actions. In Meyer{\textquoteright}s Propositional Deontic Logic (PD e L), only immediate duties can be expressed, however, often one has duties of longer durations such as: “Never do that”, or “Do this someday”. In this paper, we will investigate how to amend PD e L so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation.",
author = "J.L. Hughes and L.M.M. Royakkers",
year = "2006",
doi = "10.1007/11786849_12",
language = "English",
isbn = "978-3-540-35842-8",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "131--148",
editor = "Lou Globe and Meyer, {John-Jules Ch.}",
booktitle = "Deontic Logic and Artificial Normative Systems",
address = "Germany",
note = "conference; Eight International Workshop on Deontic Logic in Computer Science; 2006-07-12; 2006-07-14 ; Conference date: 12-07-2006 Through 14-07-2006",
}