ueli 和逻辑学家进一步的开发。中国着名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专着《时序逻辑程序设计与软件工程》。时间逻辑首先被亚里士多德深入研究过，他的着作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可