様相論理の一つである義務論理では、通常の論理学とは異なり、「～する権利がある」、「～する義務がある」といった命題を取り扱うことができる。義務論理学では「権利」と「義務」はド・モルガン双対の関係にあるとされる。すなわち、「～しない権利はない」事を「義務」と定義する。