Hypergraph Semantics for Doxastic Logics
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918265216827392 |
|---|---|
| author | van Ditmarsch, Hans Gomes, Djanira Lehnherr, David Müller, Valentin Studer, Thomas |
| author_facet | van Ditmarsch, Hans Gomes, Djanira Lehnherr, David Müller, Valentin Studer, Thomas |
| contents | Simplicial models have become a crucial tool for studying distributed computing. These models, however, are only able to account for the knowledge, but not for the beliefs of agents. We present a new semantics for logics of belief. Our semantics is based on directed hypergraphs, a generalization of ordinary directed graphs in which edges are able to connect more than two vertices. Directed hypergraph models preserve the characteristic features of simplicial models for epistemic logic, while also being able to account for the beliefs of agents. We provide systems of both consistent belief and merely introspective belief. The completeness of our axiomatizations is established by the construction of canonical hypergraph models. We also present direct conversions between doxastic Kripke models and directed hypergraph models. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_23088 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Hypergraph Semantics for Doxastic Logics van Ditmarsch, Hans Gomes, Djanira Lehnherr, David Müller, Valentin Studer, Thomas Logic in Computer Science Simplicial models have become a crucial tool for studying distributed computing. These models, however, are only able to account for the knowledge, but not for the beliefs of agents. We present a new semantics for logics of belief. Our semantics is based on directed hypergraphs, a generalization of ordinary directed graphs in which edges are able to connect more than two vertices. Directed hypergraph models preserve the characteristic features of simplicial models for epistemic logic, while also being able to account for the beliefs of agents. We provide systems of both consistent belief and merely introspective belief. The completeness of our axiomatizations is established by the construction of canonical hypergraph models. We also present direct conversions between doxastic Kripke models and directed hypergraph models. |
| title | Hypergraph Semantics for Doxastic Logics |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2512.23088 |