Deontic logic

Is focused on concepts of obligation and permission.