'deontic logic' definitions:

Definition of 'deontic logic'

From: WordNet
noun
The modal logic of obligation and permissibility