WordNet: deontic logic

Sanatista
the modal logic of obligation and permissibility



deontic logic