Words: deontic logic
Part of speech: n
Definition: the modal logic of obligation and permissibility