在逻辑 中，术语时间逻辑 被用来描述为表现和推理关于时间 限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑 ，这是 Arthur Prior 在1960年代介入的基于模态逻辑 的特殊的时间逻辑系统。它后来被计算机科学家 特别是 Amir Pnueli (阿米尔·伯努利 ) 和逻辑学家 进一步的开发。中国著名计算机科学家唐稚松 在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》[1]
时间逻辑首先被亚里士多德 深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词 或全称量词 的任何逻辑都叫做一阶逻辑 。把时间看作状态 的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑 。
考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。
三个基本时间算子是：总是、有时、和永不。
计算树逻辑（CTL）、线性时序逻辑 （LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。
参见 编辑 持续时间演算 (DC) 混合逻辑 间隔时间逻辑 有限状态验证中的时间逻辑 动作的时间逻辑 (TLA)在形式验证中重要出版物（包括在形式验证 中时间逻辑的使用） 参考 编辑 外部链接 编辑 Anthony Galton, Temporal Logic （页面存档备份，存于互联网档案馆 ） in the Stanford Encyclopedia of Philosophy （页面存档备份，存于互联网档案馆 ） .
时间逻辑, 此條目可参照英語維基百科相應條目来扩充, 2019年3月28日, 若您熟悉来源语言和主题, 请协助参考外语维基百科扩充条目, 请勿直接提交机械翻译, 也不要翻译不可靠, 低品质内容, 依版权协议, 译文需在编辑摘要注明来源, 或于讨论页顶部标记, href, template, translated, page, html, title, template, translated, page, translated, page, 标签, 在逻辑中, 术语被用来描述为表现和推理关于时间限定的命题的规则和符. 此條目可参照英語維基百科相應條目来扩充 2019年3月28日 若您熟悉来源语言和主题 请协助参考外语维基百科扩充条目 请勿直接提交机械翻译 也不要翻译不可靠 低品质内容 依版权协议 译文需在编辑摘要注明来源 或于讨论页顶部标记 a href Template Translated page html title Template Translated page Translated page a 标签 在逻辑中 术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统 它有时也被称为时态逻辑 这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统 它后来被计算机科学家特别是 Amir Pnueli 阿米尔 伯努利 和逻辑学家进一步的开发 中国著名计算机科学家唐稚松在这一领域亦有较深入的研究 并写有专著 时序逻辑程序设计与软件工程 1 时间逻辑首先被亚里士多德深入研究过 他的著作中有粗糙形式的一阶时间模态二值逻辑 使用存在量词或全称量词的任何逻辑都叫做一阶逻辑 把时间看作状态的序列的任何逻辑都是时间逻辑 只使用两个真值的任何逻辑都是二值逻辑 考虑陈述 我饿了 尽管它的意思随时间恒定 但这个陈述的真值随时间可变 有时这个陈述为真 有时这个陈述为假 但是这个陈述不能同时为真并且为假 在时间逻辑中 陈述可以有随时间变化的真值 与之相对的是非时间逻辑 它只能处理有着随时间恒定的真值的陈述 三个基本时间算子是 总是 有时 和永不 计算树逻辑 CTL 线性时序逻辑 LTL 和间隔时间逻辑 ITL 是时间逻辑的例子 参见 编辑持续时间演算 DC 混合逻辑 间隔时间逻辑 有限状态验证中的时间逻辑 动作的时间逻辑 TLA 在形式验证中重要出版物 包括在形式验证中时间逻辑的使用 参考 编辑 唐稚松 时序逻辑程序设计与软件工程 上 北京 科学出版社 1999 ISBN 7 03 007006 2 中文 简体 改外部链接 编辑Anthony Galton Temporal Logic 页面存档备份 存于互联网档案馆 in the Stanford Encyclopedia of Philosophy 页面存档备份 存于互联网档案馆 nbsp 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 时间逻辑 amp oldid 73056207, 维基百科，wiki ，书籍，书籍，图书馆，
文章 ，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。