Thou Shalt is not You Will
Not on the map. Why?
Abstract (arXiv)
In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms.
Key facts. Cited by 3 papers in the map (data through 14 Oct 2026). First posted on arXiv 7 Apr 2014.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 2.
3 papers.
- 2021Semi-automated checking for regulatory compliance in e-Healthcited by 1
- 2022Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logiccited by 0
- 2022Deontic Meta-Rulescited by 0
- 2022Deontic Meta-Rules23 Sep 2022
- 2022Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic9 Sep 2022
- 2021Semi-automated checking for regulatory compliance in e-Health14 Oct 2021