模态逻辑
概述
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
2 扩展释义
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
9 词语组词
相关词条
本词条最后更新于 2026-07-10 13:52:05
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
本词条最后更新于 2026-07-10 13:52:05