Information pooling has been extensively formalised across various logical frameworks in distributed systems, characterized by diverse information-sharing patterns. These approaches generally adopt an intersection perspective, aggregating all possible information, regardless of whether it is known or unknown to the agents. In contrast, this work adopts a unique stance, emphasising that sharing knowledge means distributing what is known, rather than what remains uncertain. This paper introduces new modal logics for knowledge pooling and sharing, ranging from a novel language of knowledge pooling to a dynamic mechanism for knowledge sharing. It also outlines their axiomatizations and discusses a potential framework for permissible knowledge pooling.

翻译：信息汇聚已在分布式系统的多种逻辑框架中得到广泛形式化，其特征表现为多样化的信息共享模式。这些方法通常采用交集视角，聚合所有可能的信息，而不考虑这些信息对智能体而言是已知还是未知。相比之下，本研究采用独特立场，强调知识共享意味着传递已知信息，而非未知内容。本文提出了面向知识汇聚与共享的新型模态逻辑，涵盖从知识汇聚的新语言到知识共享的动态机制，并概述了其公理化体系，同时探讨了允许性知识汇聚的潜在框架。