PP-2012-25: van Benthem, Johan and Duque, David Fernández and Pacuit, Eric (2012) Evidence Logic: A New Look at Neighborhood Structures. [Report]
Preview |
Text (Full Text)
PP-2012-25.text.pdf Download (465kB) | Preview |
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 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 |