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

• 作者: 李方林
• 来源期刊: 科学导报
• 关键词: 时态逻辑 计算机科学 发展
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 信息技术
• 页码范围: 260-260
• 页数: 1页
• 字数: 2178字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李方林	长江大学文理学院	1	0	0.0	0.0