公开宣告逻辑相关论文
信息是可以交流的,因此知识和信念从来就不是静态的。动态认知逻辑(Dynamic Epistemic Logic,简称DEL)是诸多具有动态算子的认知逻......
在对群体知识的普遍知识、公共知识和分布式知识的基本理论进行引介和阐述的基础上,文章针对群体知识何以存在、公共知识模型的局......
信息流和主体间互动是近年来动态认知逻辑研究的主要问题。有关理性个体的行为研究,在国内与国外已经有较多发展,在个体的知识更新......
鲍博尼等人(P. Balbiani et al.,[2])提出了任意公开宣告逻辑(AP AL)。它是普拉策(J. Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词......
在案件侦破过程中,警方与疑犯作为博弈双方都会为自己的利益而采取相应的策略。作为对立的主体,双方对于某些公开信息的认知显然是......

