摘 要：到目前为止，对于逻辑的动态性并没有一个确定的标准，本文首先介绍了动态逻辑的内容，然后从逻辑语法、推理、语义的角度对动态性的内涵进行了思考与总结。

关键词：动态逻辑;单调推理;非单调推理;可能世界

在一些推理中逻辑会展现动态性的特征。比如，在例子“x=1，x每次加1（无限次执行），那么x>3”中，这个推理在x+1执行前两次是不成立的，但是在第三次后结论x>3成立，这里逻辑即体现了动态性的特征。到目前没有一个确定的标准衡量逻辑的动态性，认识逻辑的动态性首先要了解动态逻辑的内容，然后了解动态逻辑与其他逻辑的结合，最后从不同角度对逻辑动态性的内涵进行思考与总结。

1 动态逻辑DL（Dynamic Logic）

动态逻辑是关于行动和程序推理的系统，是模态逻辑的一个分支。动态逻辑与经典逻辑的主要区别在于真值，经典逻辑中真值展现静态性，真值由公式结构中的自由变元取值决定，公式的真值和相应赋值一经给定是不可更改的;而动态逻辑中的真值展现动态性，有明确的程序语法结构< >和[ ]，这两个程序算子的作用即是改变变元的真值，然后进而改变公式的真值。[6]

命题逻辑是所有逻辑的基础，动态命题逻辑也是动态逻辑的基础。在动态命题逻辑中，p的含义为：在执行完a程序后至少有一种情况p成立。[a]p的含义为：在执行完a程序后所有情况下p成立。

2 动态逻辑与其他逻辑的结合

动态谓词逻辑是在谓词逻辑（或一阶逻辑）的基础上加入动态算子而形成的系统，为一阶逻辑提供了动态的语义解释。在1……