Title从PAL看认知逻辑的动态转换
Other TitlesThe Dynamic Transformation in Epistemic Logic Viewed from PAL
Authors郭美云
Affiliation北京大学,哲学系,北京,100871
西南大学,逻辑与智能研究中心,重庆,400715
Keywords动态认知逻辑
研究背景
公开宣告逻辑
动态转换
Issue Date2006
Publisher自然辩证法研究
Citation自然辩证法研究.2006,22,(1),40-43.
Abstract本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统--公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换.
URIhttp://hdl.handle.net/20.500.11897/63864
ISSN1000-8934
DOI10.3969/j.issn.1000-8934.2006.01.010
Indexed中文核心期刊要目总览(PKU)
中国社会科学引文索引(CSSCI)
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.