MoL-2018-27: Generic Models for Topological Evidence Logics

MoL-2018-27: Fernández González, Saúl (2018) Generic Models for Topological Evidence Logics. [Report]

[thumbnail of MoL-2018-27.text.pdf]

Download (737kB) | Preview


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
Depositing User: Dr Marco Vervoort
Date Deposited: 18 Oct 2018 15:02
Last Modified: 18 Oct 2018 15:02

Actions (login required)

View Item View Item