读逻辑RL与任意读逻辑AL

摘要：

本文认为文献（van Ditmarsch et.al.,2007）对认知行动“读”形式化时，语法与语义混淆，给出的语法和语义不够直观、自然。本文在形式化认知行动“读”时，严格区分语法和语义，在形式上更直观自然、更易理解；在此基础上，给出读逻辑RL的公理系统，并证明其可靠性和完全性。另外，本文还对认知行动“读”的量化进行研究，给出了这个量化逻辑AL的形式化。在表达力方面，本文还得到如下结果：(1)读逻辑RL、公开宣告逻辑、认知逻辑以及单认知主体的任意读逻辑AL表达力相等；(2)多认知主体的任意读逻辑AL的表达力要严格大于认知逻辑、读逻辑和公开宣告逻辑。

关键词：读、认知行动量化、知识更新

所属期刊栏目：9

分类号：B81(逻辑学(论理学))

资助基金：教育部人文社会科学研究青年基金项目11YJC72040001；广东省哲学社会科学“十二五”规划青年项目GD11YZX03。

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

页数：共16页

页码：110-125