模态逻辑，逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。