Dynamic Logics of Evidence-Based Beliefs
Studia Logica 99 (1-3):61-92 (2011)
| 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGregory Wheeler, AGM Belief Revision in Monotone Modal Logics. LPAR 2010 Short Paper Proceedings.
Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. Studia Logica 93 (1).
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Gregory Wheeler & Richard Scheines (forthcoming). Coherence and Confirmation Through Causation. Mind.
Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard (2012). A Uniform Logic of Information Dynamics. In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications.
Gregory Wheeler & Richard Scheines (forthcoming). Coherence and Confirmation Through Causation. Mind.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Analytics
Monthly downloads |
Added to index2011-09-22Total downloads15 ( #78,732 of 549,571 )Recent downloads (6 months)1 ( #63,397 of 549,571 )How can I increase my downloads? |
My notes
Discussion
