Thou Shalt is not You Will

Abstract

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.

References in corpus (1)

• Computing Strong and Weak Permissions in Defeasible Logic

Cited by in corpus (2)

• A Survey of Smart Contract Formal Specification and Verification
• Expressibility of norms in temporal logic