{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T09:19:35Z","timestamp":1783070375749,"version":"3.54.6"},"reference-count":11,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.447.10","type":"journal-article","created":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T14:38:16Z","timestamp":1782657496000},"page":"173-188","source":"Crossref","is-referenced-by-count":0,"title":["A Semantics for Belief in Simplicial Complexes"],"prefix":"10.4204","volume":"447","author":[{"given":"Adam","family":"Bjorndahl","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philip","family":"Sink","sequence":"additional","affiliation":[{"name":"Caregie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2720","published-online":{"date-parts":[[2026,6,29]]},"reference":[{"key":"Bjorndahl2024","series-title":"Cambridge Introductions to Philosophy","doi-asserted-by":"crossref","DOI":"10.1017\/9781009450669","volume-title":"An Introduction to Classical and Modal Logics: The Outlines of Knowledge","author":"Bjorndahl","year":"2024"},{"key":"SimpBel","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-031-91736-3_11","article-title":"Simplicial Belief","volume-title":"Structural Information and Communication Complexity","author":"Cachin","year":"2025"},{"key":"CACHIN2025114902","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2024.114902","article-title":"Synergistic knowledge","volume":"1023","author":"Cachin","year":"2025","journal-title":"Theoretical Computer Science"},{"key":"DoA","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-030-88853-4_3","article-title":"Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes","volume-title":"Logic, Language, Information, and Computation","author":"van Ditmarsch","year":"2021"},{"key":"KaSC","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-75267-5_1","article-title":"Knowledge and Simplicial Complexes","volume-title":"Philosophy of Computing","author":"Ditmarsch","year":"2022"},{"key":"HG","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2024.30","article-title":"A Many-Sorted Epistemic Logic for Chromatic Hypergraphs","volume-title":"32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)","volume":"288","author":"Goubault","year":"2024"},{"key":"FA","doi-asserted-by":"publisher","DOI":"10.1007\/s40590-024-00656-x","article-title":"Simplicial Models for the Epistemic Logic of Faulty Agents","volume":"30","author":"Goubault","year":"2024","journal-title":"Bol. Soc. Mat. Mex"},{"key":"SimpDEL","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2020.104597","article-title":"A simplicial complex model for dynamic epistemic logic to study distributed task computability","volume":"278","author":"Goubault","year":"2021","journal-title":"Information and Computation"},{"key":"Death","series-title":"Leibniz International Proceedings in Informatics, LIPIcs","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2022.33","article-title":"A simplicial model for KB4n : epistemic logic with agents that may die","volume-title":"39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)","volume":"219","author":"Goubault","year":"2022"},{"key":"SimpSet","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS56636.2023.10175737","article-title":"Semi-Simplicial Set Models for Distributed Knowledge","volume-title":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Goubault","year":"2023"},{"key":"Lehnherr_2025","volume-title":"Simplicial Structures for Epistemic Reasoning in Multi-agent Systems","author":"Lehnherr","year":"2025"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T08:55:17Z","timestamp":1783068917000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2512.14647v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,29]]},"references-count":11,"URL":"https:\/\/doi.org\/10.4204\/eptcs.447.10","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,29]]}}}