(n)deontic logicthe modal logic of obligation and permissibility