时间逻辑

✍ dations ◷ 2025-05-16 09:31:49 #时间逻辑

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

相关

βsub2/sub肾上腺素受体激动药β2肾上腺素受体激动药（英语：β2-adrenergic receptor agonists）常常简称β2激动药（英语：β2-adrenergic agonists），是一类可与β2肾上腺素受体结合，并形成刺激效应的药物。β2受体
腹肌腹直肌（简称腹肌）是指躯干下半部（或称腹部）的器官，由若干片状的肌肉保护着，并固定在适当的位置。他们包括两块腹直肌，沿着身体前面，从胸廓延伸到骨盆。当腹直肌收缩时，腹部被往内拉。
9-CM以下是国际疾病与相关健康问题统计分类（ICD）第九版的编码列表：
锥足亚门锥足亚门是变形虫门中的一个亚门，又细分为黏菌下门及始变形虫下门等两个下门。锥足亚门包括溶组织内阿米巴及盘基网柄菌等物种。
核糖核糖（英语：Ribose）是一种五碳醛糖（戊醛糖），一般常见的型态为D-核糖。是RNA的组成物之一，也是ATP及NADH等生化代谢所需分子的原料。DNA中的核糖是D-核糖，为呋喃型环状结构，该呋喃环状
咽头人类的咽（pharynx），又称咽头，是颈部的一个部分，为一条连接口腔和鼻腔至食道和气管（食道和气管交界）的圆锥形通道，是消化道和呼吸道的交会处。咽头与喉头在解剖学上合称为咽喉。人类
盐桥盐桥 (Salt bridge) 在化学上是指一种实验装置，用以连接贾凡尼电池（伏打电池，一种电化电池）的氧化半电池和还原半电池。盐桥通常分为两类：玻璃管型和滤纸型。此型盐桥由U型管和填
NIOSH美国国家职业安全卫生研究所（英语：National Institute for Occupational Safety and Health，简称NIOSH）是美国国内的一个联邦机构，负责对与工作相关的伤害和疾病进行研究以及提供
夜遗尿夜遗尿（英语：Nocturnal enuresis），俗称尿床，部分地区也叫做攋尿（讹写作“濑尿”，“攋”是撒、遗、弃的意思），是指五岁或以上的儿童，于睡眠时不自觉的排尿现象。这是一个在儿童期很常见
未解的问题尚未解决的语言学问题（List of unsolved problems in linguistics）列举了语言学中十分关键但仍待解决的诸多问题，内容如下。以下所示问题中，既有目前已被公认无解的问题，也有已解