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

摘要

在命题逻辑的基础上，Arthur Norman Prior在上个世纪50年代创建了模态逻辑的一个分支——时态逻辑。从80年代起，在哲学、计算机科学、人工智能、语言学等诸多交叉学科的推动下，时态逻辑取得了新的发展，形成了一些既具有重大理论意义，又具有实际应用价值的研究成果。比较典型的是在计算机科学中的发展。