| 动态认知逻辑研究述评 |
| |
| 引用本文： | 廖德明. 动态认知逻辑研究述评[J]. 自然辩证法通讯, 2009, 31(6) |
| |
| 作者姓名： | 廖德明 |
| |
| 作者单位： | 西华师范大学,四川南充,6371302 |
| |
| 摘 要： | 动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域.20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J.van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生.到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统.
|
| 关 键 词： | 动态认知 逻辑逻辑推理 结构模型 |
A Survey on the Development of Dynamic Epistemic Logic |
| |
| LIAO De-ming. A Survey on the Development of Dynamic Epistemic Logic[J]. Journal of Dialectics of Nature, 2009, 31(6) |
| |
| Authors: | LIAO De-ming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
