deontic logic

noun2

1. •
   The study of obligation, permission, and related concepts.
2. •
   A formal system capturing the concepts of obligation and permission.