Extra
精选上位词
时态逻辑
简介
tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。
| 中文名 | 时态逻辑 |
|---|---|
| 原始名称 | 时态逻辑 |
| 外文名 | tense logic |
| 性质 | 非经典逻辑的分支学科 |
| 英文名 | tense logic |
相关实体
tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。
| 中文名 | 时态逻辑 |
|---|---|
| 原始名称 | 时态逻辑 |
| 外文名 | tense logic |
| 性质 | 非经典逻辑的分支学科 |
| 英文名 | tense logic |