亦称“义务逻辑”、“道义逻辑”。广义模态逻辑的一种。研究包含“必须”、“允许”、“禁止”等表示规范的词语的命题和使用这种命题进行的推理的逻辑学说。现代逻辑的一个分支。其内容包括：陈述规范的命题的类型，它们各自的逻辑特征，它们相互之间的逻辑关系和推理（如从“必须p”可推出“允许p”，从“必须p”可推出“不允许非p”亦即“禁止非p”）等。