PP-2012-25: Evidence Logic: A New Look at Neighborhood Structures

PP-2012-25: van Benthem, Johan and Duque, David Fernández and Pacuit, Eric (2012) Evidence Logic: A New Look at Neighborhood Structures. [Report]

[img]
Preview
Text (Full Text)
PP-2012-25.text.pdf

Download (465kB) | Preview
[img] Text (Abstract)
PP-2012-25.abstract.txt

Download (992B)

Abstract

Two of the authors (van Benthem and Pacuit) recently introduced evidence logic as a way to model epistemic agents faced with possibly contradictory evidence from different sources. For this the authors used neighborhood semantics, where a neighborhood N indicates that the agent has reason to believe that the true state of the world lies in N. A normal belief modality is defined in terms of the neighborhood structure. In this paper we consider four variants of evidence logic which hold for different classes of evidence models. For each of these logics we give a representation theorem using extended evidence models, where the belief operator is replaced by a standard relational modality. With this, we axiomatize all four logics, and determine whether each has the finite model property.

Item Type: Report
Report Nr: PP-2012-25
Series Name: Prepublication (PP) Series
Year: 2012
Uncontrolled Keywords: neighborhood model, modal logic, evidence, axiomatization, belief
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/467

Actions (login required)

View Item View Item