首页 >
时间逻辑
✍ dations ◷ 2025-01-22 21:41:08 #时间逻辑
在逻辑中,术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑,这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 Amir Pnueli 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究,并写有专著《时序逻辑程序设计与软件工程》。时间逻辑首先被亚里士多德深入研究过,他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑,只使用两个真值的任何逻辑都是二值逻辑。考虑陈述:"我饿了"。尽管它的意思随时间恒定,但这个陈述的真值随时间可变。有时这个陈述为真,有时这个陈述为假,但是这个陈述不能同时为真并且为假。在时间逻辑中,陈述可以有随时间变化的真值。与之相对的是非时间逻辑,它只能处理有着随时间恒定的真值的陈述。三个基本时间算子是:总是、有时、和永不。计算树逻辑(CTL)、线性时间逻辑(LTL)和间隔时间逻辑(ITL)是时间逻辑的例子。
相关
- 心血管检查心血管检查是有关心血管的身体检查,可能包括心前区检查(英语:precordial examination)及周边血管检查(英语:peripheral vascular examination)。有些部分的检查可能在坐姿比较容易
- 姚明姚明(1980年9月12日-),生于中国上海市,祖籍江苏省苏州市吴江区震泽镇,著名篮球运动员,曾为中国国家篮球队队员,曾效力于中国篮球职业联赛(CBA)上海大鲨鱼篮球俱乐部和美国国家篮球协会
- 慢性肾衰竭慢性肾脏病(又称慢性肾功能不全或慢性肾衰竭、Chronic kidney disease(CKD)、chronic renal disease(CRD)),指肾功能在几个月或若干年期间逐渐而难以逆转的衰退。据估计,慢性肾病患
- 核电站核电站即核能发电厂,或称核电站。是一种以核反应为热力源的热电厂,和其他的热电厂一样,以热能驱动蒸汽涡轮发动机并连接至发电机发电。根据国际原子能机构的报告,截至2014年4月2
- Eu4f7 6s22, 8, 18, 25, 8, 2蒸气压3, 2, 1 (微第一:547.1 kJ·mol−1 第二:1085 kJ·mol−1 第三:2404 kJ·mol主条目:铕的同位素铕(Europium)是一种化学元素,符号为Eu,原子序为6
- 尼加拉瓜面积以下资讯是以2018年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2017年估计人类发展指数 以下资讯是以2018
- 卡尔·巴特卡尔·巴特 (Karl Barth,1886年5月10日-1968年12月10日) ,瑞士籍新教神学家,新正统神学的代表人物之一。John Bowden描述他是一位时代先知、教授、政治家和神学领袖。在德国求学期
- 唐纳德·戴维森唐纳德·赫伯特·戴维森(英语:Donald Davidson,1917年3月6日-2003年8月30日)20世纪下半叶美国最为著名和活跃的哲学家之一。戴维森1917年3月6日生于美国麻省斯普林菲尔德。在早期
- 新型冠状病毒新型冠状病毒(英语:Novel coronavirus,缩写为nCoV),简称新冠病毒,可以指:
- 字体栅格化字体光栅化是将文字从一个向量表示(比如一个TrueType字体)转化到光栅或者位图表示的过程。在这个过程中往往涉及一些抗锯齿技术来使得屏幕上的字体更加平滑易读。这也经常会涉