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