信念逻辑的更新模型 |
| |
引用本文: | 郭向阳.信念逻辑的更新模型[J].重庆理工大学学报(社会科学版),2013,27(9). |
| |
作者姓名: | 郭向阳 |
| |
作者单位: | 怀化学院政法系,湖南 怀化,418000 |
| |
基金项目: | 国家社科基金项目"信息变化的逻辑研究",湖南省教育厅项目"信息更新逻辑的完全性研究" |
| |
摘 要: | 刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动态的更新语义刻画信念算子.用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的.
|
关 键 词: | 信念逻辑 更新模型 有穷模型 可靠性 完全性 |
Updated Model for Doxastic Logic |
| |
Authors: | GUO Xiang-yang |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|