时间逻辑

✍ dations ◷ 2024-12-22 18:27:06 #时间逻辑

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

相关

绿硫细菌绿菌门是一类进行不产氧光合作用的细菌。这类细菌没有已知的近亲，最近的类群为拟杆菌门。绿菌门通常不活动（一个种具有鞭毛），形状为球状、杆状或者螺旋状。其生存要求无氧环境和
病毒分类本页面列出了生物病毒的分类，包含病毒以及类病毒、普利昂蛋白、卫星病毒等等得亚病毒因子。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)
贫金属贫金属（poor metal），也称“其他金属”（other metal），用于指代在元素周期表的p区块的金属。相比过渡金属，贫金属的电负度较高，熔点和沸点较低，并且也更软。但由于它们的熔沸点还是比同
吕根岛吕根岛（德语：Rügen；拉丁语：Rugia）是德国最大的岛屿，位于德国东北部的波罗的海，属于梅克伦堡-前波美拉尼亚州。吕根岛南北最长处为52千米，东西最宽处为41千米，总面积926平方千米，海岸
意大利半岛意大利半岛（意大利语：Penisola italiana），又名亚平宁半岛 (Apennines)（意大利语：Penisola appenninica）是南欧洲三大半岛之一，位居三大半岛的中间，在地中海之北。亚平宁半岛北起波河
人类生理学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学人体生理学(Human physiology)是研究
末端回肠在人体解剖学中，回肠是人的消化器官之一。回肠（Ileum）是小肠的最后一段，在十二指肠和空肠的下面。人的回肠约占小肠全长的五分之三，约有2-4米长。回肠多盘于腹腔右下部，借小肠系膜
终端细支气管小支气管是空气由鼻或口到肺的肺气泡之间的通道，而分支下层不再包含软骨或腺体。小支气管是支气管的分支。小支气管具有微丝血管。Template:Lower respiratory system anatom
语义元语义元，或称语义素，是在先天上能够直接理解而无法以更简化的用词来表述的一组语义的概念。语义元能够表述透过后天习得，但不能被具体定义的单词或短语。例如，英语 "touch" 最直
可能世界可能世界（英语：Possible world）的概念被用来在哲学和逻辑中，表达模态断言。在哲学中，术语“模态”覆盖了如“可能性”“必然性”“偶然性”这类观念。谈论可能世界在当代哲学讨论