We propose a number of powerful dynamic-epistemic logics for multi-agent information sharing and acts of publicly or privately accessing other agents' information databases. The static base of our logics is obtained by adding to standard epistemic logic comparative epistemic assertions, that can express epistemic superiority between groups or individuals, as well as a common distributed knowledge operator (that combines features of both common knowledge and distributed knowledge). On the dynamic side, we introduce actions by which epistemic superiority can be acquired: "sharing all one knows" (by e.g. giving access to one's information database to all or some of the other agents), as well as more complex informational events, such as hacking. We completely axiomatize several such logics and prove their decidability.

中文翻译：

---

学习别人所知道的

我们提出了许多强大的动态认知逻辑，用于多代理信息共享和公开或私下访问其他代理信息数据库的行为。我们逻辑的静态基础是通过在标准认知逻辑上添加比较认知断言获得的，比较认知断言可以表达群体或个人之间的认知优势，以及一个公共的分布式知识算子（结合了公共知识和分布式知识的特征）。在动态方面，我们引入了可以获得认知优势的行为：“共享所有人的知识”（例如，让所有或部分其他代理访问一个人的信息数据库），以及更复杂的信息事件，例如作为黑客。我们完全公理化了几个这样的逻辑并证明了它们的可判定性。