情态逻辑（modal logic），文学-语言文字-语义学-情态，研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理，是非古典逻辑的一个分支。又称模态逻辑。命题加上情态，即成情态命题或情态判断，例如“可能P”和“必然P”。“可能P”可表现为下面的句子：①It might rain tomorrow.（明天或许会下雨。）②明天可能会下雨。③明天也许会下雨。“必然P”如下面的句子：④明天一定会下雨。情态命题不是真值函项的，它们的真假不完全由情态所辖命题所决定，P真，“必然P”不一定真，P假时，“可能P”也可能为真。模态命题演算是现代模态逻辑的基本内容之一，构建了一个非常复杂的演算系统。形式模态逻辑使用情态算子表示情态概念。基本的情态算子是□（“必然”）和◇（“可能”），有时分别使用字母“L”（“必然”）和“M”（“可能”）表示。必然算子□和可能算子◇可通过否定算子¬（或～）相互定义，即◇P≡¬□¬P□P≡¬◇¬P¬□P≡◇¬P¬◇P≡□¬P20世纪初，C.I.刘易斯用数理逻辑的方法对模态问题进行过比较系统的研究，标志着现代模态逻辑的建立。