从动态命题逻辑PDL到动态道义逻辑DDL

摘要：

@@ 一动态命题逻辑的来源和基本构想
动态逻辑DL(Dynamic Logic)是关于行动和程序推理的形式系统.DL可以描述为三个经典逻辑的合成:一是一阶谓词逻辑;二是模态逻辑;三是正则事件(regular event)的代数.DL区分于经典逻辑的地方是其真值的特性:经典逻辑的真值是静态的,一公式ψ的真值由其结构中自由变元的取值所决定,公式ψ导致的真值和赋值被看做不可改变的.[1]而动态逻辑在这点上正好相反,在DL中,有清晰的被称做程序的语形结构,这些程序的作用就是改变变元的值,由此进而改变公式的值.这些改变在经典谓词逻辑中,是在元逻辑的层次上产生的.

机标关键词：动态道义逻辑、动态命题逻辑

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

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

页数：共4页

页码：55-58