A type of modal logic that deals with concepts of obligation and permission, and introduces operators like "should", "must", "may not".
A type of modal logic that deals with concepts of obligation and permission, and introduces operators like "should", "must", "may not".