Simplicial Belief
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909987793534976 |
|---|---|
| author | Cachin, Christian Lehnherr, David Studer, Thomas |
| author_facet | Cachin, Christian Lehnherr, David Studer, Thomas |
| contents | Recently, much work has been carried out to study simplicial interpretations of modal logic. While notions of (distributed) knowledge have been well investigated in this context, it has been open how to model belief in simplicial models. We introduce polychromatic simplicial complexes, which naturally impose a plausibility relation on states. From this, we can define various notions of belief. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_07669 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Simplicial Belief Cachin, Christian Lehnherr, David Studer, Thomas Logic in Computer Science Recently, much work has been carried out to study simplicial interpretations of modal logic. While notions of (distributed) knowledge have been well investigated in this context, it has been open how to model belief in simplicial models. We introduce polychromatic simplicial complexes, which naturally impose a plausibility relation on states. From this, we can define various notions of belief. |
| title | Simplicial Belief |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2601.07669 |