时间逻辑

✍ dations ◷ 2025-09-17 18:53:59 #时间逻辑

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

相关

S/TICD-10 第十九章：损伤、中毒和外因的某些其他后果，即国际疾病与相关健康问题统计分类第十版的第十九个编码分系统（从S00-T98），其中包括了损伤、中毒和某些确定外因的后果，及其分类
痘病毒亚科痘病毒脊索亚科(Chordopoxvirinae) 正痘病毒属(Orthopoxvirus) 副痘病毒属(Parapoxvirus) 禽痘病毒属(Avipoxvirus) 山羊痘病毒属(Capripoxvi
巴尔的摩病毒分类系统巴尔的摩病毒分类系统（Baltimore classification）是一种由戴维·巴尔的摩建立的以基因组和病毒转录mRNA方式为区分的病毒分类系统。世界上的病毒千奇百怪，数量极多，生活周期又各
癫痫持续状态癫痫重积状态（拉丁语：Status epilepticus (SE)）的定义是一次癫痫发作超过五分钟、或是五分钟内癫痫发作超过一次且每次发作之间没有回复到正常状态。这种癫痫发作的状态可能是
并系群并系群（英语：Paraphyletic group或 Paraphyly ）是支序分类中的一种分类单元，此分类群中的成员皆拥有“最近共同祖先”，但该群中并不包含此最近共同祖先之所有后代。一个类群是否
健康政策分析卫生政策和健康的关系
唑吡坦唑吡坦（英语：Zolpidem）是一种Z-drugs安眠药，其药发时间约在15分钟之内，药效维持两至三小时。市场上常见的药名包括、Adormix、Ambien、Ambien CR、Edluar、Damixan、Ivedal、Nyta
厄瓜多尔面积以下资讯是以2019年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018
因纽特伊努克提图特语，或译作因纽特语、伊努特语、Eastern Canadian Inuktitut（ (/ɪˈnʊktᵻtʊt/; Inuktitut: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL",
语域语域（Register）是在特定语言使用的场合或领域所使用的语言变体风格。根据英国语言学家韩礼德（M. A. K. Halliday）的定义，语域是可以按照用途区分的语言变体。语言使用的领域的种