deontic_logic
1. [ noun ] (mathematics,logic) the modal logic of obligation and permissibility
Related terms: modal_logic