- Dynamic logic of evidence-based beliefs
- Studia Logica
- Pages (from-to)
- Issue number
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
- This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. 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 the resulting dynamic logic of evidence.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.