Synergistic knowledge

DOI
Publisher DOI
Abstract
Simplicial complexes are a successful model for distributed computing. They have recently been observed to provide an interesting model for epistemic multi-agent logic where the agents' local states are the main building blocks (instead of the global states). A natural generalization is to study epistemic logic on semi-simplicial sets. However, finding the appropriate modal logic for semi-simplicial models has been an open question. We answer this by introducing the logic of synergistic knowledge and establishing its soundness and completeness.
Date Issued
2025-01-01
Publication Type
Article
Subject(s)
Subjects
Distributed knowledge
•
Synergy
•
Modal Logic
Language(s)
en
Author(s)
Additional Credits
Journal
Theoretical Computer Science
Publisher
Elsevier
ISSN
0304-3975
Access(Rights)
open.access
Show full item