jump to corresponding sense entry
noun
The modal logic of obligation and permissibility.
is a specific kind of: modal logic.
Find more on deontic logic elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.0142