从PAL看认知逻辑的动态转换

摘要：

本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统--公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换.

关键词：动态认知逻辑、研究背景、公开宣告逻辑、动态转换

所属期刊栏目：22

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

资助基金：国家社会科学基金04BZX046

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

页数：共4页

页码：40-43