義務論理
義務論理（）は、義務や権利などの概念を扱う論理学の一分野である。規範論理とも。典型的な記法としては、"OA"（A は義務的である、A であるべきだ）と "PA"（A は許されている、A でもよい）がある。"deontic" という言葉は古代ギリシャ語の "déon"（拘束されているもの、適切なもの）を語源とする。