Topological Evidence Logics: Multi-agent Setting
| Authors |
|
|---|---|
| Publication date | 2022 |
| Host editors |
|
| Book title | Language, Logic, and Computation |
| Book subtitle | 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 13th International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2019 |
| Pages (from-to) | 237-257 |
| Number of pages | 21 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract | We introduce a multi-agent topological semantics for evidence-based belief and knowledge, which extends the dense interior semantics developed in [2]. We provide the complete logic of this multi-agent framework together with generic models for a fragment of the language. We also define a new notion of group knowledge which differs conceptually from previous approaches. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-030-98479-3_12
(Final published version)
|
| Other links | |
| Permalink to this page | |