时态逻辑

时态逻辑的词语属性

时态逻辑的百科含义

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

• 国际英语
• fù zhé zhī xué鲋蛰之穴
• 冰川作用
• 花楼乡
• 电话虫
• 后头沟
• 斯塔尔泰里
• 黄永斌
• 名典商旅酒店
• 少足纲
• 视频报警
• 薛爱国
• qióng ér穷儿
• 冰箭术
• 鸡肫
• 前进波
• 我的公主
• 火炬开发区
• 与日月同辉
• 凰后
• 害怕未来
• 猫节嘉年华
• 沙塘鳢
• 公民良心
• 防台风篇
• 妙功散
• gā gā伽伽
• 咸阳规划局
• 强迫动作
• 冻干食品