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]

[thumbnail of Full Text]
Text (Full Text)

Download (465kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (992B)


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 van 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