Definitions of deontic logic:

• noun:   the modal logic of obligation and permissibility