时间逻辑

✍ dations ◷ 2025-04-24 23:23:10 #时间逻辑

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

相关

唾腺唾腺（英语：salivary gland；亦称唾液腺、涎腺）是脊椎动物的消化腺之一，位于口腔周围，人类的三大唾腺为腮腺（英语：parotid gland）（parotid gland）、颌下腺（英语：submandibular gland）（submand
副作用药物不良反应（英语：adverse drug reaction，简称ADR）是患者在使用某种药物的治疗疾病的时候产生的与治疗无关的作用，而这种作用一般都对患者的治疗不利。不良反应是药物所具有的两
S02BA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码S02（耳科用药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborat
抗心律不整药抗心律失常药（英语：Antiarrhythmic agents）是一类用于抑制心脏非正常节律（心律失常）的药物，这些情况例如心房颤动、心房扑动、心室性心搏过速以及心室颤动。很多人试图将此类药物
泰尔梅泰尔梅是土耳其的城镇，位于该国北部黑海沿岸，由萨姆松省负责管辖，始建于公元前12世纪，主要农产品有榛果和烟草，2010年人口30,866。坐标：41°12′33″N 36°58′26″E / 41.20917°
李希梅尔里西梅尔（Ricimer，或译李希梅尔，约405年－472年），苏维汇人，在5世纪中的西罗马帝国掌握政治实权多年。他青年时期在埃提乌斯军队服役，父母都是蛮族。450年进入政治界。472年，里西梅尔去
苏丹四号苏丹四号（英语：Sudan IV）是一种偶氮染色剂，化学式为C24H20N4O，常用于冻结石蜡切片的脂质和脂蛋白的染色。苏丹一号、三号和四号被国际癌症研究机构认定为3级致癌物质。苏丹四号的
谢琳卡谢琳卡（1981年－），女，武汉人，武汉“疫情吹哨人”之一，华中科技大学同济医学院博士，华中科技大学同济医学院附属协和医院肿瘤中心主治医师。2019新型冠状病毒疫情爆发，2019年12月30日晚
恶性鳞状上皮细胞肿瘤鳞状细胞癌（Squamous-cell carcinoma, SCC, SqCC），有时也被称之为表皮样癌（epidermoid carcinoma）或鳞状细胞上皮瘤（squamous cell epithelioma），是一类上皮组织细胞、鳞状细胞产生
瑶语族瑶语支，又称勉语支，是苗瑶语系的一个语支。说瑶语支语言的人约有150万。自称“勉”、“金门”、“标敏”、“藻敏”等等。主要分布在华南（90万）和越南（50万），泰国、老挝、美国（主要