模态逻辑

概述

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

2百科释义

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

9词语组词

相关词条

本词条最后更新于 2026-06-30 18:05:27