规范逻辑，亦称义务逻辑、道义逻辑广义模态逻辑范畴。其基本命题形式包括必须命题、允许命题和禁止命题，通过引入规范算子结合命题逻辑构建演绎系统，与真值模态系统存在形式相似性。

在20世纪50年代以前.也有人提出过规范逻辑，但没有引起人们的注意。只是由于芬兰逻辑学家冯·赖特著作的发表才引起人们对规范逻辑的兴趣和重视。继刘易斯1910年创立现代模态逻辑之后，冯·赖特于1951年在他的《规范模态》和《模态S辑论》中，提出了两种新的模态，即规范模态逻辑和认知槿态逻辑，从而开创了现代规范逻辑。他构造的规范逻辑系统是最早出现的一个规范模态系统。规范逻辑要研究规范命题形式。规范命题是陈述行为规范的命理。基本形式有三种:一是必须命题，是陈述必须履行某神行为的命题;二是禁止命题，是陈述禁止某种行为的命题;三是允许命题.是陈述允许某种行为的命题。由于禁止P与必须非P、禁止非P与必须P是等值的，因而也可分为必须命题和允许命题两种。借助联结词，则可结合成各种复合命题。规范逻辑还要研究并建立规范逻辑的演绎系统。它在标准命演算的基础上，加上规范算子，增加有关的公理、形成规则和变形规则而建立„采用不同的公理和推理规则可以建立不同的规范逻辑系统。规范系统与真值模态系统之间有密切关系、规范词（X必须＞P）允许＞与真值模态的模态词U必然（可能）相似，起着类似的作用，因而有的逻辑学家根据两者的这种关系去建立规范系统。但这只能在~定范围内,两者毕竟有区别。如在真值模态系统中，必然性蕴涵实然性（I-P-*Pi），而在规范系统中,必须却并不莲涵现实，而是必须蕴涵允许（Op—Pp）。目前已建立的规范逻辑系统有DT等系统。规范逻辑的建立,丰富和发展了模态逻辑并在伦理实践和司法实践中发挥着作用。