时间逻辑

✍ dations ◷ 2025-12-08 19:17:35 #时间逻辑

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

相关

接触性皮炎接触性皮炎，又称毒性皮炎，指的是人体皮肤因与某种物质直接接触而产生的皮肤炎症，局限于皮肤部分区域。其原因可能是过敏（过敏性接触性皮炎）或外部刺激（刺激性接触性皮炎），而后者较常
第一代头孢菌素（法语：Cephalosporine、英语：Cephalosporin），又名先锋霉素，是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年，由意大利科学家Giu
无菌性脑膜炎脑膜炎（英语：meningitis）指发生于脑膜的急性炎症，脑膜是包裹大脑和脊髓的保护薄膜。脑膜炎最常见的症状是发热、头痛和颈部僵硬。其他症状还包含精神错乱（英语：mental confusion）或
普安县普安县是中华人民共和国贵州省黔西南布依族苗族自治州下属的一个县。本地出产煤。当地小吃主要有臭豆腐，羊肉米线，牛肉米线等。普安县下辖2个街道办事处、8个镇、2个乡：盘水街
河静省河静省（越南语：Tỉnh Hà Tĩnh／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","M
同一性在逻辑中，同一（identity）关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"="，使得对于所有x和y，"x = y"为真，当且仅当x和y是同一个事物。同一是传递
列奥纳多·达·芬奇列奥纳多·达·芬奇（意大利语：Leonardo da Vinci；儒略历1452年4月15日－1519年5月2日），又译达文西，全名列奥纳多·迪·瑟皮耶罗·达·芬奇（Leonardo di ser Piero da Vinci，意为“芬奇
同位异音同位异音（allophone）是语言学术语，指的是一个音位可以表示多于一个音。又称为同位音、音位变体。例如英语中，国际音标.mw-parser-output .IPA{font-family:"Charis SIL","Doulos
马拉加斯语马拉加斯语（Malagasy，maa.laa.gaas）是一种南岛语系语言，为马达加斯加的官方语言之一，马拉加斯语接近于婆罗洲南部，南加里曼丹巴里托河一带的语言，尤其是有90%词汇与玛安延语（英语：M
罗托卡特语罗托卡特语(Rotokas)是个由大约4000名布干维尔省（布干维尔是巴布亚新几内亚共和国东部的一个岛屿）居民所使用的语言。目前已知罗托卡特语至少有三个方言，它们分别为：中央罗托卡