PP-2011-19: van Benthem, Johan and Pacuit, Eric (2011) Dynamic Logics of Evidence-Based Beliefs. [Report]
Preview |
Text (Full Text)
PP-2011-19.text.pdf Download (481kB) | Preview |
Text (Abstract)
PP-2011-19.abstract.txt Download (627B) |
Abstract
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 van 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 |