信念逻辑的更新模型

摘要：

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

关键词： 信念逻辑 分析模型 语义算子 证明程序

作者: 郭向阳

作者单位: 怀化学院政法系,湖南 怀化 418000

会议类型: 国内会议

会议名称: 2013年全国应用逻辑学术年会

会议地点: 北京

会议语种:中文

页码: 32-35,63

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