# Permissible Knowledge Pooling

arXiv: https://arxiv.org/abs/2404.03418 · HTML: https://mlsanity.com/paper/2404.03418/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 5 of its 44 references that are in the map.
- First posted on arXiv 4 Apr 2024.

## Builds on (most cited first, 5 of 5)

- [Ceteris Paribus Structure in Logics of Game Forms](https://mlsanity.com/paper/1310.6416/) (2013)
- [Resolving Distributed Knowledge](https://mlsanity.com/paper/1606.07515/) (2016)
- [Ceteris paribus logic in counterfactual reasoning](https://mlsanity.com/paper/1606.07522/) (2016)
- [The Modal Logic of Stepwise Removal](https://mlsanity.com/paper/2103.05117/) (2021)
- [Communication Pattern Logic: Epistemic and Topological Views](https://mlsanity.com/paper/2207.00823/) (2022)

## Abstract (arXiv)

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.