时态逻辑

概述

tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。

2 扩展释义

tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。

9 词语组词

相关词条

本词条最后更新于 2026-07-12 02:20:08