規範体系論理学
中山康雄による，規範とゲーム 社会の哲学入門4章など
標準的な義務論理（標準義務論理という）に対する批判を受けて形式化されたもの
Logic for Normative Systems, LNS
規範理論を表現するための形式的枠組みといったほうが良いかもしれない　
山田友幸による動的義務論理のアプローチ批判など
メモ：TODO