# Thou Shalt is not You Will

arXiv: https://arxiv.org/abs/1404.1685 · HTML: https://mlsanity.com/paper/1404.1685/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Apr 2014.

## Built on by (most cited first, 3 of 3)

- [Semi-automated checking for regulatory compliance in e-Health](https://mlsanity.com/paper/2110.07710/) (2021)
- [Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic](https://mlsanity.com/paper/2209.04553/) (2022)
- [Deontic Meta-Rules](https://mlsanity.com/paper/2209.12655/) (2022)

## 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.