群体宣告逻辑相关硕士博士期刊学术论文 - 搜论网

群体宣告逻辑相关论文

公开宣告逻辑研究现状

信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。......

期刊

公开宣告逻辑更新动态认知逻辑群体宣告逻辑 Public Announcement Logic Update Dynamic Epistemic Logic

群体简单宣告逻辑

群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真......

期刊

认知逻辑模态逻辑公开宣告逻辑群体宣告逻辑群体简单宣告

看过本文同时还关注