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

发布时间：2017-12-18 10:27

本文关键词：略论时态逻辑在计算机科学中的发展

【摘要】：在命题逻辑的基础上,Arthur Norman Prior在上个世纪50年代创建了模态逻辑的一个分支——时态逻辑。从80年代起,在哲学、计算机科学、人工智能、语言学等诸多交叉学科的推动下,时态逻辑取得了新的发展,形成了一些既具有重大理论意义,又具有实际应用价值的研究成果。比较典型的是在计算机科学中的发展。本文以时态逻辑在计算机科学中的发展为主线,在描述计算机科学中时态逻辑的发展的同时,与哲学中时态逻辑的发展进行对比分析,分别分析了时态逻辑对计算机科学的贡献和计算机科学的发展对时态逻辑本身的影响,并以此为基础,对未来逻辑学与计算机科学的交叉互动做出了初步展望。本文共分五个部分：第一部分,回顾时态逻辑的历史发展。第二部分,描述了一元时态逻辑的十个系统的语言、公理、定理和它们的性质,并分析了各个系统之间的关系,随后简要介绍了二元时态逻辑。第三部分,介绍了时态逻辑在计算机科学下发展的背景和所解决的问题,介绍了两个计算机科学下最重要的系统——命题线性时态逻辑系统和分支时态逻辑系统,并分析了它们之间的关系和适用区别。第四部分,介绍了三个时态逻辑的典型扩充系统,前两个是计算机科学下发展起来的,第三个是通常逻辑学中的扩充。第五部分是一些进一步的讨论,对于时态逻辑在计算机科学中的发展进行了总结和评论,为未来逻辑学与计算机科学的交叉互动做出展望。
【学位授予单位】：华东师范大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：B815.5;TP3

【参考文献】

中国期刊全文数据库前10条

1 万良;李样;;基于TLA的Kerberos协议符号化与检测[J];贵州大学学报(自然科学版);2007年06期

2 陈彬;王智学;;时态认知逻辑CTL*K的符号化模型检查算法[J];计算机科学;2009年05期

3 刘冬宁;汤庸;;智能主体的信念认知时态子结构逻辑模型[J];计算机应用研究;2010年07期

4 刘冬宁;;时态数据库属性推理的类型逻辑[J];逻辑学研究;2011年04期

5 宁正元;胡山立;赖贤伟;;交互时态信念逻辑及其模型检测[J];南京大学学报(自然科学版);2008年02期

6 吕娜;;时序逻辑领域的开拓者[J];程序员;2009年12期

7 唐稚松，赵琛;一种面向软件工程的时序逻辑语言[J];软件学报;1994年12期

8 白金山;崔楠;李祥;;行为时态逻辑TLA定理系统证明及公平性研究[J];计算机工程与设计;2010年03期

9 白金山;李祥;;具有自反性质的线序时态逻辑研究[J];计算机工程与设计;2011年04期

10 张广泉,孙敏;时态逻辑的比较与分析[J];渝州大学学报(自然科学版);1999年02期