The Topology of Full and Weak Belief
| Authors | |
|---|---|
| Publication date | 2017 |
| Host editors |
|
| Book title | Logic, Language, and Computation |
| Book subtitle | 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, |
| Pages (from-to) | 205-228 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | We introduce a new topological semantics for belief logics in which the belief modality is interpreted as the interior of the closure of the interior operator. We show that the system wKD45, a weakened version of KD45, is sound and complete with respect to the class of all topological spaces. While generalizing the topological belief semantics proposed in [1, 2] to all spaces, we model conditional beliefs and updates and give complete axiomatizations of the corresponding logics with respect to the class of all topological spaces. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-662-54332-0_12 |
| Downloads |
The Topology of Full and Weak Belief
(Final published version)
|
| Permalink to this page | |
