PP-2011-19: Dynamic Logics of Evidence-Based Beliefs

PP-2011-19: van Benthem, Johan and Pacuit, Eric (2011) Dynamic Logics of Evidence-Based Beliefs. [Report]

Text (Full Text)

Download (481kB) | Preview
[img] Text (Abstract)

Download (627B)


This paper adds evidence structure to standard models of belief, in the form of families of sets. We show how these more fine-grained models support natural actions of ``evidence management'', ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for this dynamic logic of evidence.

Item Type: Report
Report Nr: PP-2011-19
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: evidence, neighborhood model,; dynamic logic, recursion axiom
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/423

Actions (login required)

View Item View Item