时间逻辑

✍ dations ◷ 2024-11-05 14:57:03 #时间逻辑

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

相关

固氮固氮作用（英语：Nitrogen fixation），简称固氮，指将空气中游离态的氮（氮气）转化为含氮化合物（如硝酸盐、氨、二氧化氮）的过程。可分为自然固氮以及人工固氮两种。自然固氮（Natural nitro
H1N2H1N2亚型（influenza A virus subtype H1N2）是甲型流感病毒的一种。近年来在人类和猪之间引起瘟疫。H1N1、H1N2、H3N2是已知的现代人类间流行的流感病毒。此亚型与其他亚型相比
雷帕霉素雷帕霉素（Rapamune），又名西罗莫司（Sirolimus），为大环内酯类化合物，现主要运用于肾移植的抗排异治疗。其通过抑制白细胞介素-2从而阻碍激活T细胞及B细胞来抑制免疫。其首次发现于复
持久性有机污染物持久性有机污染物（英语：Persistent organic pollutants，常简称为POPs）泛指具有以下特征的化学物质：
密克罗尼西亚密克罗尼西亚（Micronesia）是太平洋三大岛群之一，希腊语字根为“小岛”之义，位于西太平洋，在南纬4°-北纬22°、东经130°-180°之间；有2500个以上的岛屿，绝大部分在赤道以北，东西延
弥涅墨斯弥涅墨斯（希腊语：Μίμνερμος，英语：Mimnermus，鼎盛期在前630年-前600年)，古希腊哀歌诗人。弥涅墨斯生活在一个战乱时期，当时小亚细亚的爱奥尼亚城邦正在抵抗兴起的吕底亚王
梅什科一世梅什科一世（Mieszko I，约935年－992年5月25日），皮雅斯特王朝的第一位波兰公爵（约960年－992年在位）。梅什科一世是半传说式的波兰公爵谢莫梅斯乌（英语：Siemomysł）的儿子、莱斯泰克（英语：Le
直辖市直辖市是中华人民共和国的一级行政区单位，与省、自治区同属省级行政区。最早的法律定义，源于1954年通过的《中华人民共和国宪法》的第53条。直辖市并不是地理学意义上的一个城
5号染色体长臂缺失症候群5号染色体长臂缺失综合征（Chromosome 5q deletion syndrome、5q综合征、5号长臂染色体单体症(monosomy)、5号染色体长臂缺失综合症）是一种后天性血液疾病，特征是人类5号染色体
着重强调焦点（缩写为：foc）是一种语法的类别，用于确定句子的哪一部分能够提供新的、不可推导的或对比的信息。焦点与信息结构（英语：Information structure）有关。对比焦点尤其是指与对话者 (