更新时间:-- | 阅读量: 86
又叫做时间逻辑、时序逻辑、变化逻辑、过程逻辑等等,是研究包含时态词“过去”、“现在......外，目前正在探讨时态谓词逻辑。时态逻辑试图把包含时态词的命题之间的推理系统化，从而为涉及时态语句的讨论精确化和推理严格化，提供语言工具和推理工具 ...
搜索到与“ 线性时态逻辑”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
