|
|||||
|
|
Dynamic Logics of Evidence-Based Beliefs |
|
| Authors: | J van Benthem E Pacuit |
| Institution: | 1. Institute for Logic, Language and Computation, University of Amsterdam, 1090 GE, Amsterdam, The Netherlands 2. Department of Philosophy, Stanford University, Stanford, CA, 94305, USA 3. Tilburg Center for Logic and Philosophy of Science, Tilburg University, P.O. Box 90153, 5000 LE, Tilburg, The Netherlands |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |