Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)

Alexandru Baltag, Malvin Gattinger, Djanira Gomes
8/29/2025
cs.AIcs.LOcs.MA

No confident code implementation found for this paper. 1 possible match can be shown below.

Abstract

We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely axiomatize and show the decidability of the logic of ("hard" and "soft") group evidence, and do the same for an especially interesting fragment of it: the logic of group knowledge and group belief. We also extend these languages with dynamic evidence-sharing operators, and completely axiomatize the corresponding logics, showing that they are co-expressive with their static bases.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Uncommon Belief in Rationality

78% match2024

A Computationally Grounded Framework for Cognitive Attitudes (extended version)

77% match2024

The Effect of Belief Boxes and Open-mindedness on Persuasion

76% match2025

Toward a Graph-Theoretic Model of Belief: Confidence, Credibility, and Structural Coherence

75% match2025

Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models

75% match1 repo12025

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)

75% match2025

Cite this paper

@article{baltag2025virtual,
  title  = {Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)},
  author = {Alexandru Baltag and Malvin Gattinger and Djanira Gomes},
  year   = {2025},
  eprint = {2509.00184},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2509.00184v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2509.00184.svg)](https://codeofpaper.com/paper/2509.00184)

Discussion