mó tài luó jí · ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ · 更新 2026-06-30 10:44:14
模态逻辑，逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。