deontic logic
Short definition from Wiktionary
Noun
- The study of obligation, permission, and related concepts.
- A formal system capturing the concepts of obligation and permission.
We haven’t written up deontic logic yet: Simple and Standard meanings, examples and a quiz.