模态逻辑

概述

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

2 扩展释义

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

9 词语组词

相关词条

本词条最后更新于 2026-07-10 13:52:05