时间逻辑

✍ dations ◷ 2025-08-08 02:45:13 #时间逻辑

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

相关

咪达唑仑咪达唑仑（英语：Midazolam、Dormicum、Hypnovel、Versed），又称“速眠安”常见以Versed为商品名贩售，主要用为治疗急性发作、中度至重度的失眠，及进行医疗程序前之导引镇静及失忆的
头孢洛林头孢洛林 (国际非专利药品名) (发音为/sɛfˈtærɵliːn/, 商品名Teflaro)是一种第五代头孢菌素类抗生素。它对于包括耐甲氧西林金黄色葡萄球菌(MRSA)在内的革兰氏阳性菌具
重量在科学与工程学上，物体的重量指的通常是重力作用在它身上的力。重量是矢量，它的量（标量）一般用斜体 W {\displaystyle W} 表示。
污垢污垢是一种不干净的物质，特别指代某人肮脏的衣服、皮肤或者物品中的物质。常见的污垢类型包括：
柯霍海因里希·赫尔曼·罗伯特·科赫（德语：Heinrich Hermann Robert Koch，1843年12月11日－1910年5月27日），德国医师兼微生物学家，为细菌学始祖之一，与路易·巴斯德共享盛名。1905年，因结
新美鞭菌门新美鞭菌门是厌氧性真菌的一门，发现于食草动物的消化道中。它只包括一纲、一目、一科，目前已知6属。新美鞭菌门的真菌为Orpin于1975年首次根据绵羊的瘤胃中发现的运动细胞所描
米麹菌米麹菌（学名：Aspergillus oryzae），又名米曲霉菌、米麹霉、麹霉菌或曲霉菌。日文名“麹菌”。米麹菌是一种带有菌丝（hypha）的真菌与霉菌，在中国与日本料理中经常被用来发酵大豆来制
囊状噬菌体科囊状噬菌体属囊状噬菌体科Cystoviridae
英国历史联合王国（英语：United Kingdom，缩写：UK，全名：大不列颠与北爱尔兰联合王国）历史，其发展以英格兰王国为核心，逐次并入威尔士公国、苏格兰王国和爱尔兰王国。目前联合王国的领土包含英格
食管裂孔疝食管裂孔疝（hiatus hernia、hiatal hernia）是一种疝气，是腹部的器官（通常是胃）通过横膈膜进入纵膈腔中。这可能导致胃食道逆流（GERD）或咽喉反流，其症状包括口腔酸味或胃灼热感。其他