Semi-Simplicial Set Models for Distributed Knowledge-Reference-Cited by-同舟云学术

Semi-Simplicial Set Models for Distributed Knowledge

Published:2023-06-26 Issue: Volume: Page:
ISSN:
Container-title:2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
language:
Short-container-title:

Author:

Goubault Éric¹,Kniazev Roman¹,Ledent Jérémy²,Rajsbaum Sergio³

Affiliation:

1. LIX, CNRS, École Polytechnique, IP-Paris,Palaiseau Cedex,France

2. University of Strathclyde,MSP Group,Glasgow,Scotland

3. Universidad Nacional Autónoma de México (UNAM),Paris,France

Publisher

IEEE

Link

Reference28 articles.

1. Distributed knowledge;gerbrandy;Formal Semantics and Pragmatics of Dialogue,1998

4. Learning what others know;baltag;LPAR 2020 EPiC Series in Computing,2020

5. Impure simplicial complexes: Complete axiomatization;randrianomentsoa;CoRR,2022

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simplicial models for the epistemic logic of faulty agents;Boletín de la Sociedad Matemática Mexicana;2024-09-09

3. On Two- and Three-valued Semantics for Impure Simplicial Complexes;Electronic Proceedings in Theoretical Computer Science;2023-09-30

5. Synergistic Knowledge;Lecture Notes in Computer Science;2023