Deontic logic

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

Field of logic concerned with imperatives

ethical formula