Semi-simplicial set models for distributed knowledge

DOI10.1109/LICS56636.2023.10175737MaRDI QIDQ6851675zbMATH OpenFDO

Authors Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175737

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(5)

• A many-sorted epistemic logic for chromatic hypergraphs
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• On two- and three-valued semantics for impure simplicial complexes
• Simplicial belief
• R-Mod: minimal structural revision of \(\mathrm{S}5\) epistemic models

This page was built for publication: Semi-simplicial set models for distributed knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851675)