Logic of (Common or Distributed)*  Knowledge

Name: Logic of (Common or Distributed)* Knowledge
Creator: Shi, Chenwei
Keywords: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Shi, Chenwei

Found an issue? Give us feedback

Electronic Proceedin...arrow_drop_down

Electronic Proceedings in Theoretical Computer Science

Article . 2025 . Peer-reviewed

Data sources: Crossref

arXiv.org e-Print Archive

Preprint . 2025

Data sources: arXiv.org e-Print Archive

https://dx.doi.org/10.48550/ar...

Article . 2025

License: CC BY

Data sources: Datacite

Logic of (Common or Distributed)* Knowledge

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 27 Nov 2025Embargo end date: 01 Jan 2025 English Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 437, pages 286-300 (eissn: 2075-2180,

Copyright policy )

Authors: Shi, Chenwei;

doi: 10.4204/eptcs.437.24 , 10.48550/arxiv.2511.22385

arXiv: 2511.22385

Logic of (Common or Distributed)* Knowledge

- Summary
- Subjects
- Metrics

Abstract

In this paper, we generalize epistemic logic so that it can help reason about ways of combining common knowledge and distributed knowledge such as "common distributed knowledge", "distributed common knowledge", "distributed common distributed knowledge" and so on. Moreover, we study the logic of its dynamic update by arbitrary reading events. We axiomatize these logics and prove their soundness and completeness.

In Proceedings TARK 2025, arXiv:2511.20540

Keywords

FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

0

Average

Green

gold