群体简单宣告逻辑

群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真实地宣告。然而,很多场合下通常并不接受个体宣告高阶知识。本文所探讨的群体简单宣告逻辑只允许群内个体宣告一阶知识,这与此前版本在一些性质上存在差别。文章的主要成果是群体简单宣告逻辑的表达能力和公理系统等结论,以及对有穷规则在群体宣告逻辑中不可靠、但在群体简单宣告逻辑中具有可靠性的证明。

公开宣告逻辑研究现状

信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。