信念逻辑的更新模型

摘要：

刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动态的更新语义刻画信念算子.用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的.

关键词：信念逻辑、更新模型、有穷模型、可靠性、完全性

所属期刊栏目：27

分类号：B815.1(逻辑学(论理学))

资助基金：国家社科基金项目"信息变化的逻辑研究"12CZX055;湖南省教育厅项目"信息更新逻辑的完全性研究"12C0856

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

页数：共5页

页码：32-35,63