| 从PAL看认知逻辑的动态转换 |
| |
| 引用本文： | 郭美云. 从PAL看认知逻辑的动态转换[J]. 自然辩证法研究, 2006, 22(1): 40-43 |
| |
| 作者姓名： | 郭美云 |
| |
| 作者单位： | 北京大学,哲学系,北京,100871;西南大学,逻辑与智能研究中心,重庆,400715 |
| |
| 摘 要： | 本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic简称PAL）为例。从而介绍动态认知逻辑研究的一些基本思路和方法，重点考察动态认知逻辑是如何完成静态向动态的转换。
|
| 关 键 词： | 动态认知逻辑 研究背景 公开宣告逻辑 动态转换 |
| 文章编号： | 1000-8934（2006）01-0040-04 |
| 收稿时间： | 2005-09-19 |
| 修稿时间： | 2005-09-19 |
The Dynamic Transformation in Epistemic Logic Viewed from PAL |
| |
| GUO Mei-yun. The Dynamic Transformation in Epistemic Logic Viewed from PAL[J]. Studies In Dialectics of Nature, 2006, 22(1): 40-43 |
| |
| Authors: | GUO Mei-yun |
| |
| Affiliation: | Department of Philosophy, Peking University, Beijing 100871 ,China; Institute of Logic and Intelligence,South - West University,Chongqing 400715 ,China |
| |
| Abstract: | Firstly,we introduce the background and some developments of the study in Dynamic Epistemic Logic.Secondly,taking the Public Announcement Logic(PAL),which is a basic logic system in Dynamic Epistemic Logic,as an example,we discuss some typical methods in Dynamic Epistemic Logic.Finally,we investigate how the Epistemic Logic transforms from the static to a dynamic one. |
| |
| Keywords: | dynamic epistemic logic research background public announcement logic dynamic transformation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
