Deontic logic

Home > Philosophy > Logic > Modal Logic > Deontic logic

A type of modal logic that deals with obligations and permissions.