时间逻辑

✍ dations ◷ 2025-02-23 06:53:45 #时间逻辑

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

相关

嗜盐生物嗜极生物（英文：Extremophile），或者称作嗜极端菌，是可以（或者需要）在极端环境（英语：extreme environment）中生长繁殖的生物，通常为单细胞生物。与此相对的，在较为温和的环境中生活的生物，
胞间连丝胞间连丝（英语：Plasmodesmata）为植物细胞和部分藻类细胞壁间贯穿细胞壁的特有孔道，可以让相邻细胞的细胞质相互流通。有微小孔道，为细胞间物质运输与信息传递的重要通道，通道中有
皮肤转红酒精反应，又称酒精性脸红反应、亚洲人脸红综合症，俗称上脸，是指部分人在饮用酒精饮料后，酒精（乙醇）在肝代谢成为乙醛，由于乙醛刺激而引起的皮肤发红、斑点或起疙瘩等一系列反应，多见
醋酸铅2.55 g/cm3（三水合物）75 °C（三水合物分解）乙酸铅，又称醋酸铅，是一种白色晶体状化合物，带甜味。将铅黄（一氧化铅）和乙酸反应可以制备乙酸铅。和其他铅化合物一样，乙酸铅也有很大毒性
肺活量肺活量为用力吸气后尽力呼出的气体总量，能够反映一次呼吸时的最大通气能力。它是潮气量（平时自由呼吸时一次所呼出的气量）、补吸气量（最大吸气时的增量）和补呼气量（最大呼气时的增
西西里岛坐标：37°30′N 14°00′E / 37.500°N 14.000°E / 37.500; 14.000西西里（意大利语：Sicilia ，）是意大利南部的一个自治区。西西里占地25,708平方公里，人口数为500万，是意大利最大
收缩收缩指的可能是：
美国经济学会美国经济学会（American Economic Association，简称AEA），美国经济学者所组成的学会。建立于1885年，被认为是经济学界最重要的组织之一。它的成员主要是美国大学的经济学教授，它们所
梅兰妮·克莱因梅兰妮·克莱恩（Melanie Klein，1882年3月30日－1960年9月22日），英国精神分析学家，生于维也纳，主要贡献为对儿童精神分析以及客体关系理论的发展。
光气碳酰氯，俗称光成气（英语：phosgene；化学式：COCl2），简称光气，从化学结构上看是碳酸的二酰氯衍生物，是非常活泼的亲电试剂，容易水解，是剧烈窒息性毒气，高浓度吸入可致肺水肿，毒性比氯气约大1