动态逻辑:关于程序的模态逻辑

摘要：

@@ "动态逻辑(dynamic logic,简称DL),又称关于程序的模态逻辑(modal logic of programs),是进行程序逻辑性质研究、程序正确性证明研究的有力的数学工具"[1].动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想,为现代逻辑理论的发展提供了新的题材和思路.首先,在逻辑系统方面,动态逻辑为逻辑研究的很多方面提供了崭新的研究视角,它不但改革了经典逻辑的静态语义模型,而且打开了动态算子及其推理的广阔空间.

机标关键词：模态逻辑、动态逻辑

分类号：B81(逻辑学(论理学))

资助基金：北京市哲学社会科学十一五规划项目06BaZX022

在线出版日期：2011-04-12（万方平台首次上网日期，不代表论文的发表时间）

页码：90-94