时间逻辑

✍ dations ◷ 2025-06-27 15:42:37 #时间逻辑

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

相关

American Thoracic Society美国胸腔学会（The American Thoracic Society，缩写： ATS），成立于1905年，是美国一个独立注册的、国际性、以呼吸医学和重症监护医学医学为主的教育与科学组织。大约有18000学会成
世界人口日世界人口日（英语：World Population Day），源于1987年7月11日世界50亿人口日。现在每年的7月11日为世界人口日。1987年7月11日，在前南斯拉夫出生了一位婴儿，联合国将其象征性地认定
广泛耐药结核广泛耐药结核（Extensively drug-resistant tuberculosis，即XDR-TB）是结核病的一种，专指对利福平（rifampicin）和异烟肼（isoniazid）具抗药性（对这些一线治疗结核药物具有抗药性的结核称
修格连氏综合征干燥综合征，又名修格连氏综合征，或者舍格伦综合征。该病的英文名称为Sjögren's syndrome（发音为/ˈʃoʊɡrənz/，又称为Mikulicz disease及Sicca syndrome，是一种长期的自身免
临床测试临床试验（英语：Clinical trial）是一种根据研究方案利用已上市药物或安慰剂作为对照组的方式，对药物或其他医学治疗在受试者身上进行比较测试的过程。在临床试验中，研究者要先决定
弯曲菌属见内文弯曲菌属（学名：Campylobacter），又名曲状杆菌属或弯曲杆菌属，是一种革兰氏阴性细菌的属。曲状杆菌属的型态就是折曲了的一般杆菌，呈“逗号”状或Ｓ字型。本属绝大多数物种均为
溶血反应溶血反应泛指红血球的不正常分解死亡的现象。溶血是指红血球的细胞膜因物理因素、化学因素、生物因素等因素受损破裂，内部的原生质从细胞漏出令红血球死亡的现象。“溶血反应
西加鱼毒雪卡毒素（英语：Ciguatoxins，简称CTX），又名雪卡鱼毒素、西加鱼毒素，是一类引起西加鱼毒中毒的毒素，共有4种。食物中这类毒素无法被烹饪去除，因此最好不要吃珊瑚礁鱼类的头部、皮肤及
退休金退休金（英语：Pension）指的是一个人因为年龄或其他因素从职场退出时，公司或雇主必须给予退休雇员的一笔较大额酬劳。这笔金额，雇员可以选择要一次提领全额（一次性退休金），或是分期以
水泥水泥又称洋灰、红毛灰、红毛土、红毛泥，是一种建筑材料，与水混合后会凝固硬化。水泥不常单独使用，而是用来与沙、砾(骨料)接合。水泥与细致的骨料混合后形成砂浆(用来接合砖块)