精选上位词
模态逻辑
简介
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。
形式模态逻辑使用模态判决算子表示模态。
| 中文名 | 模态逻辑 |
|---|---|
| 别名 | 内涵逻辑 |
| 原始名称 | 模态逻辑 |
| 外文名 | modal logic |
| 定义 | 是处理限定的句子的逻辑 |
| 应用学科 | 数学 |
| 应用领域 | 逻辑学 |
| 繁体 | 模态逻辑 |
| 英文名 | modal logic |
相关实体
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。
形式模态逻辑使用模态判决算子表示模态。
| 中文名 | 模态逻辑 |
|---|---|
| 别名 | 内涵逻辑 |
| 原始名称 | 模态逻辑 |
| 外文名 | modal logic |
| 定义 | 是处理限定的句子的逻辑 |
| 应用学科 | 数学 |
| 应用领域 | 逻辑学 |
| 繁体 | 模态逻辑 |
| 英文名 | modal logic |