时间逻辑

✍ dations ◷ 2025-06-07 01:34:26 #时间逻辑

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

相关

原野参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：荒野，是地球上尚未受到大规模人类活动改造的自然地带。它
伞型束梗孢菌纲伞型束梗孢菌目（Agaricostilbales） Spiculostilbales伞型束梗孢菌纲（学名：Agaricostilbomycetes）是担子菌门柄锈菌亚门下的一个纲。该纲共包含2个目、3个科、10个属、47个种。.
辅助T细胞辅助T细胞（T helper cells, Th），又称为助手型T细胞，是一种T细胞（白细胞的一种），它的表面有抗原受体，可以辨识抗原提呈细胞的MHC-II类分子呈献的抗原片段。一旦受到抗原刺激，Th细胞就
人脑人脑分为左右两个大脑半球，二者由神经纤维构成的胼胝体相连。人脑和其他哺乳动物的脑结构相似，但是容量却很不寻常，和人类相同体型的哺乳动物的比较，人的大脑要大得多，智慧的当然
穆达汉府穆达汉府（泰语：จังหวัดมุกดาหาร，皇家转写：Changwat Mukdahan，泰语发音：），一译莫拉限府、莫那限府，是泰国东北部依善地区的一个府，与他相邻的府（顺时针）为：安纳乍伦府、益
米兰多拉乔瓦尼·皮科，米兰多拉领主及康科迪亚伯爵（Giovanni Pico dei conti della Mirandola e della Concordia，1463年2月24日－1494年11月17日），通称乔瓦尼·皮科·德拉·米兰多拉，意大
品红品红（英语：Fuchsine）有苯胺红基、一品红基、碱式一品红、玫苯胺盐酸盐等十几种别名。为一颜料，其溶入蒸馏水后通入二氧化硫所制得溶液称为希夫试剂，可用来检测醛类。在与显微镜标
抽搐抽搐（英语：Cramp），俗称抽筋，人类身体肌肉系统常见的收缩现象。发作时会使得受伤者感觉疼痛或受到极大压力。常常是因为从静止状态直接转做剧烈运动而导致的。人身体的肌肉是能收
湿度湿度（英语：Humidity）一般在气象学中指的是空气湿度，它是空气中水蒸气的含量。与蒸汽干燥度（也称蒸汽的品质，英语：dryness fraction of steam, quality of steam）不同，空气中液态或固
偏肺病毒人类偏肺病毒（hMPV）是副黏液病毒科下的一种单链核糖核酸病毒，于2001年在荷兰被首度发现。病毒主要令儿童受急性呼吸道感染，病征包括发烧、咳嗽、气促及呼吸困难等。抵抗力弱的成