论文部分内容阅读
“动态逻辑（dynamic logic，简称DL），又称关于程序的模态逻辑（modal logic of programs），是进行程序逻辑性质研究、程序正确性证明研究的有力的数学工具”。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想，为现代逻辑理论的发展提供了新的题材和思路。