邏輯學的一個分支
模態邏輯是邏輯學的一個分支，專門研究必然性、可能性及其相關概念。
模態邏輯使用諸如「必然」「可能」等模態詞來描述命題的性質。這些詞表達了命題在所有可能世界中的真值情況，其中「必然」意味著在所有可能世界中命題為真，而「可能」則意味著在至少一個可能世界中命題為真。模態邏輯還涉及諸如「應當」「知道」等其他模態概念，這些概念在哲學、法律、道德等領域有著廣泛的套用。模態邏輯的形式系統使用特殊的模態運算元來表示這些模態性質，與經典邏輯（命題邏輯、謂詞邏輯等）形成對比。經典邏輯通常被視為外延性的，意味著複合命題的真值僅由其子命題的真值決定，而模態邏輯則展示了更複雜的內涵性，即複合命題的真值不僅由其子命題的真值決定，還涉及到模態性質。模態邏輯在哲學、計算機科學、人工智慧和語言學等領域有著重要的套用，特別是在處理不確定性、條件語句和時態關係方面。