| 从动态命题逻辑PDL到动态道义逻辑DDL |
| |
| 引用本文： | 周祯祥.从动态命题逻辑PDL到动态道义逻辑DDL[J].哲学动态,2006,4(2):55-58. |
| |
| 作者姓名： | 周祯祥 |
| |
| 作者单位： | 华南师范大学,广东,广州,510531 |
| |
| 摘 要： | 一动态命题逻辑的来源和基本构想动态逻辑DL(DYNAM IC LOGIC)是关于行动和程序推理的形式系统。DL可以描述为三个经典逻辑的合成:一是一阶谓词逻辑;二是模态逻辑;三是正则事件(REGULAR EVENT)的代数。DL区分于经典逻辑的地方是其真值的特性:经典逻辑的真值是静态的,一公式Φ的真值由其结构中自由变元的取值所决定,公式Φ导致的真值和赋值被看做不可改变的。1]而动态逻辑在这点上正好相反,在DL中,有清晰的被称做程序的语形结构,这些程序的作用就是改变变元的值,由此进而改变公式的值。这些改变在经典谓词逻辑中,是在元逻辑的层…
|
| 文章编号： | 1002-8862(2006)02-0055-04 |
From Propositional Dynamic Logic (PDL) to Dynamic Deontic Logic (DDL) |
| |
| Zhou Zhenxiang.From Propositional Dynamic Logic (PDL) to Dynamic Deontic Logic (DDL)[J].Philosophical Trends,2006,4(2):55-58. |
| |
| Authors: | Zhou Zhenxiang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
