PP-2016-21: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2016) Justified Belief and the Topology of Evidence. [Report]
Preview |
Text (Full Text)
PP-2016-21.text.pdf Download (217kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2016-21.abstract.txt Download (677B) |
Abstract
We introduce a new topological semantics for evidence, evidence based belief, knowledge and learning. This setting generalizes (and in a sense improves on) the evidence models for belief due to van Benthem and Pacuit, as well as our own previous work on (a topological semantics for) Stalnaker's doxastic epistemic axioms. We prove completeness, decidability and finite model property for the associated logic, and we look at several types of evidential dynamics.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2016-21 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | Modal logic, Epistemic logic, Topological models, Completeness, Dynamic logic |
| Subjects: | Logic |
| Depositing User: | Nick Bezhanishvili |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/557 |
Actions (login required)
 |
View Item |
