论时态逻辑在计算机科学中的发展

摘要

时态逻辑(又称时序逻辑、时间逻辑)作为描述根据时间限定的命题或推理所使用的任意规则和符号系统,是模态逻辑的一个重要分支.在命题逻辑的基础上,Arthur Norman Prior在上个世纪50年代几乎独自创建了这一现代逻辑的重要分支的基础,对时态逻辑的发展具有里程碑意义,被视为"时态逻辑之父".从上个世纪80年代开始,在其他学科如:计算机科学、数学、人工智能以及语言学等的发展需要的促进下,时态逻辑获得了新的进一步的发展,从而形成了一些不仅具有理论意义而且也有丰富的实际应用价值的成果.