?时态逻辑
时态逻辑(tense logic)是非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。
时态逻辑语言
模糊时态逻辑
中介时态逻辑
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。