信念逻辑的更新模型

• 作者: 郭向阳
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 信念逻辑 更新模型 有穷模型 可靠性 完全性
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 32-35,63
• 页数: 5页
• 分类号: B815.1
• 字数: 4306字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2013.09.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭向阳	怀化学院政法系	4	3	1.0	1.0