Don’t Ever Do That! Long-Term Duties in PDeL
This paper studies long-term norms concerning actions. In Meyer’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.
KeywordsAtomic Action Atomic Proposition Label Transition System Action Term Deontic Logic
Unable to display preview. Download preview PDF.
- Castañeda, H.-N.: The paradoxes of deontic logic. In: Hilpinen, R. (ed.) New studies in deontic logic, pp. 37–85. Reidel, Dordrecht (1981)Google Scholar
- Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic, vol. II, pp. 497–604. D. Reidel Publishing Company, Dordrecht (1984)Google Scholar
- Meyer, J.-J.C.: Using programming concepts in deontic reasoning. In: Bartsch, R., van Benthem, J.F.A.K., van Emde Boas, P. (eds.) Semantics and contextual expression, pp. 117–145. FORIS publications, Dordrecht (1989)Google Scholar
- Meyer, J.-J.C.: Dynamic logic for reasoning about actions and agents. In: Logic-based artificial intelligence, pp. 281–311. Kluwer Academic Publishers, Norwell (2000)Google Scholar