tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
乐词汉语词典，您的随身词语库。海量成语、近义词、反义词、组词一键查询，专业释义，例句丰富。让学习更高效，让表达更精准。