模态逻辑

拼音mó tài luó jí 注音ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ 更新2026-07-29 02:47:23
读音信息
拼音字母
mo tai luo ji
拼音首字母
mtlj
注音符号
ㄇㄛ ㄊㄞ ㄌㄨㄛ ㄐㄧ
注音首字母
ㄇㄊㄌㄐ
百科释义

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