tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
欢迎使用通达词典！我们专注于汉语词语、成语、近义词反义词及组词的查询服务。海量词库，精准释义，助您轻松提升语言能力。如有疑问，欢迎反馈！