deontic logic

The field of philosphical logic and a class of formal systems that are concerned with obligation, permission, and related concepts