Deontic logic

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