时间逻辑

✍ dations ◷ 2024-07-05 04:51:11 #时间逻辑

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

相关

血红素血红素在华语不同地区有不同含意，可以指：
踝肱指数踝肱指数，又称为踝肱血压指数（Ankle Brachial Pressure Index，ABPI或ABI），是小腿相对于上臂的血压比值。如果小腿血压比上臂低，提示可能有动脉阻塞（周围血管疾病）。ABI是由用脚踝动
洪都拉斯面积以下资讯是以2018年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018
内酯内酯（英文：Lactone）即环状的酯，由一化合物中的羟基和羧基发生分子内缩合环化得到。内酯以五元（γ-内酯）及六元（δ-内酯）环内酯最为稳定，环内的角张力最小。4-羟基酸（R-CH(OH)-(CH2)2-C
阴道滴虫滴虫性阴道炎（英语：trichomoniasis，trich）也称为滴虫炎，，是因为阴道毛滴虫（英语：Trichomonas vaginalis）所引起的传染病，会造成女性阴道或是男性尿道的发炎。约70%的女性及男性在罹病
生物反馈生物反馈（英语：Biofeedback）是指通过一些仪器来测量生理指标，借此更加了解人们心智想法的运作并且改善他们的一系列方法。例如脑电波、皮肤电传导率（英语：Electrodermal activity）
毒液毒液（英语：venom）是一种由动物分泌出来的毒素，目的是对其他动物造成伤害。不同毒液造成的伤害也会不同；那些会致死的毒液通常会用半数致死量（LD50、LD50 或 LD-50）来测量其毒性。许
三氢化砷砷化氢或胂，是最简单的砷化合物，化学式为AsH3，可燃、能自燃。它是砷和氢的高毒性分子衍生物。尽管它毒性很强，在半导体工业中仍广泛使用，也可用于合成各种有机砷化合物。标准状态
语用学语用学（英语：Pragmatics）是语言学的一个分支学科，与符号学理论相互交叉、渗透，研究语境对语言含义产生的影响与做出的贡献。语用学包括言语行为理论、对话内涵义、交流中的对话，以
充分条件充分必要条件（英语：sufficient and necessary condition）简称为充要条件。在逻辑学中：因此：P是Q的必要条件，代表“如果P是假，则Q是假”。以逻辑符号表示：通过否定后件，得出“如果Q是