时间逻辑

✍ dations ◷ 2025-08-28 14:59:04 #时间逻辑

在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 Amir Pnueli 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》。时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。三个基本时间算子是：总是、有时、和永不。计算树逻辑（CTL）、线性时间逻辑（LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。

相关

激素激素（英语：hormone）也音译作荷尔蒙或贺尔蒙，在希腊文原意为“兴奋活动”。激素是指体内的某一细胞、腺体或者器官所产生的可以影响机体内其他细胞活动的化学物质。仅需很小剂量
花粉病过敏性鼻炎，又称为鼻敏感、干草热、花粉热、花粉症或季节性过敏性鼻炎，是因为免疫系统受到空气中的过敏原影响而导致的鼻炎症状。征兆和病症包括流鼻涕或鼻塞、打喷嚏、眼睛的
1952年伦敦烟雾事件伦敦雾霾（英语：Great Smog of London、Great Smog of 1952）是1952年12月5日至12月9日发生于英国伦敦的空气污染事件。发生的原因包括气温低、反气旋、无风以及大量燃烧煤炭所产
LAC加拿大国家图书馆暨档案馆（英语：Library and Archives Canada，简称 LAC）是加拿大的国家图书馆与档案馆，位于首都渥太华。加拿大国家图书馆暨档案馆隶属于加拿大文化遗产部之下，是
当代史当代史（英语：Contemporary history）是在时间轴上与当前紧密相连的历史，是现代史的特定角度，即现在的历史，或是与个人相关的历史。当代史一词早在19世纪就已使用，并在21世纪成为一门
维生素B12维生素B12（Vitamin B12）为B族维生素之一，是一类含钴的复杂有机化合物。分子结构是以钴离子为中心的咕啉环和5,6-二甲基苯并咪唑为碱基组成的核苷酸。化学式为C63H88O14N14PCo，分
呈缴本法定送存，即法律规定团体和个人将所发表的出版物呈缴至国家图书馆或其他指定的处所。需要法定送存的出版物一般为书籍和期刊，但有时也会包括其他媒体（例如录音）等。不同国家对需
句子句子或称语句，指构成语言的基本单位，句子带有语调，大部分语言的句子带有限定动词，按照一定的语法规则组织，具有完整的意义。按照语言的语法规则，每个句子至少包含主语、谓语和宾语
语言灭亡语言灭亡（英语：language death、language extinction、linguistic extinction、linguicide、glottophagy）是一个影响语言社群的过程。这现象显示某项语言变体的讲者族群，相关之
描述逻辑描述逻辑（description logic）是一种用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，