模态逻辑

mó tài luó jí · ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ

修撰于 2026-06-30 10:25:31

拼音mó tài luó jí
字母mo tai luo ji
首字母mtlj
注音ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
注音符号ㄇㄛ ㄊㄞ ㄌㄨㄛ ㄐㄧ

广

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