MoL-2018-27: Fernández González, Saúl (2018) Generic Models for Topological Evidence Logics. [Report]
Preview |
Text
MoL-2018-27.text.pdf Download (737kB) | Preview |
Abstract
This thesis studies several aspects of the topological semantics for evidence-based belief and knowledge introduced by Baltag, Bezhanishvili, Özgün, and Smets (2016).
Building on this work, we introduce a notion of generic models, topological spaces whose logic is precisely the sound and complete logic of topological evidence models. We provide generic models for the different fragments of the language.
Moreover, we give a multi-agent framework which generalises that of single-agent topological evidence models. We provide the complete logic of this framework together with some generic models for a fragment of the language. Finally, we define a notion of group knowledge which differs conceptually from previous approaches.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2018-27 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2018 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 18 Oct 2018 15:02 |
| Last Modified: | 18 Oct 2018 15:02 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1641 |
Actions (login required)
 |
View Item |
