论文标题
动态认知逻辑中的代理之间的通信
Communication between agents in dynamic epistemic logic
论文作者
论文摘要
该手稿研究认知逻辑剂之间的交流行为。首先要研究所有/某些代理商共享其所有信息的操作，并定义了转换模型，讨论其属性的模型操作，并引入了一种描述它的模态并为后者提供公理系统。手稿的主要部分侧重于某些代理人共享其部分信息的动作：他们分享了有关给定公式定义的主题的所有知识。手稿再次定义了转换模型的模型操作，讨论其属性，引入了描述它的模态，并为后者提供了公理系统。
This manuscript studies actions of communication between epistemic logic agents. It starts by looking into actions through which all/some agents share all their information, defining the model operation that transforms the model, discussing its properties, introducing a modality for describing it and providing an axiom system for the latter. The main part of the manuscript focuses on an action through which some agents share part of their information: they share all that they know about a topic defined by a given formula. Once again, the manuscript defines the model operation that transforms the model, discusses its properties, introduces a modality for describing it and provides an axiom system for the latter.
