时态逻辑

概述

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

2百科释义

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

9词语组词

相关词条

本词条最后更新于 2026-06-30 14:00:07