时间逻辑

✍ dations ◷ 2025-04-04 06:52:07 #时间逻辑

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

相关

呼肠孤病毒正呼肠孤病毒属 Orthoreovirus 环状病毒属 Orbivirus 轮状病毒 Rotavirus 科罗拉多壁虱热病毒 Coltivirus 水产呼肠孤病毒 Aquareovirus 质型多角体病毒 Cypovirus 斐济病毒
嘧啶嘧啶（拼音：mì dìng，注音：ㄇㄧˋ ㄉㄧㄥˋ，粤拼：mat6 ding6，音同“密定”、分子式：C4H4N2、IUPAC命名：Pyrimidine）为1,3-二氮杂苯，是一种杂环化合物。嘧啶由2个氮原子取代苯分子间位上
死后抽搐死后抽搐（cadaveric spasm）亦称尸体痉挛，是指人或动物于死亡后，肌肉未经过松弛阶段就立即发生僵硬，其肢体仍然有的小许动作或者抽搐。这种现象可由肉眼观察到，一般死亡前有剧烈运
绿色植物亚界轮藻、一种杂交蔷薇、百岁兰；小毛毡苔、蓬蘽、欧洲酸樱桃；银杏、柳树、溪苔属；非洲苏铁、蕙兰、一种藓类；一种蕨、紫菀、朝鲜冷杉。有争议：植物（英文：Plant）是植物界（学名：Plantae
无氧呼吸呼吸作用，又称为细胞呼吸（Cellular respiration），是生物体细胞把有机物氧化分解并转化能量的化学过程，也称为释放作用。无论是否自养，细胞内完成生命活动所需的能量，都是来自呼吸作
花斑癣花斑癣（tinea versicolor；俗称汗斑），是常见的皮肤感染，主要由球型马拉色菌（Malassezia globosa）及秕糠马拉癣菌（Malassezia furfur）这两种真菌所引致。医学导航 · 真菌病真菌 ·
益康唑硝酸益康唑（英语：Econazole nitrate）是咪唑类抗真菌药物，被用来治疗足癣、花斑癣和股癣（Tinea cruris）等癣。药膏商品《Picosone》含有这种物质。
锡诺普的第欧根尼锡诺普的第欧根尼（Διογένης）（亦翻译为戴奥基尼斯或狄奥根尼），古希腊哲学家，犬儒学派的代表人物。活跃于公元前4世纪，相传于公元前413年生于锡诺普（Σινώπη，现属土耳其），相
肯迪肯迪（796年－873年），全名艾布·优素福·叶尔孤白·本·伊斯哈格·本·萨巴赫·肯迪（阿拉伯语：أبو يوسف يعقوب إبن إسحاق الكندي‎，拉丁化：Abū Yūsuf Ya
氯化氰氯化氰（Cyanogen chloride）是由氰与氯组成的无机化合物，容易凝结无色剧毒气体。氯化氰由氰化钠和氯气反应得到。氯化氰是一种毒性很强的气体，并曾一度提出用于化学战。它接触眼