Deontic logic
Home
>
Philosophy
>
Logic
>
Modal Logic
>
Deontic logic
A type of modal logic that deals with obligations and permissions.