Category
page 1Deontic logic
deontic logic
The field of philosphical logic and a class of formal systems that are concerned with obligation, permission, and related concepts
imperative logic
Field of logic concerned with imperatives
Ought implies can
ethical formula