tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
翰然词典致力于为您提供最全面的汉语词语服务。海量词库实时更新，支持模糊搜索与精准匹配。如有疑问或建议，欢迎联系我们，我们将持续优化您的查询体验。