Deontic logic
WordNet

noun


(1)   The modal logic of obligation and permissibility
 
x
OK