Journal of Logic, Language and Information 12 (4):381-408 (2003)
Authors |
|
Abstract |
In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.
|
Keywords | dynamic logic epistemic logic higher order information probability updates |
Categories | (categorize this paper) |
Reprint years | 2004 |
DOI | 10.1023/A:1025050800836 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
View all 12 references / Add more references
Citations of this work BETA
The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2021 - Erkenntnis 86 (3):733-762.
Dynamic Doxastic Logic: Why, How, and Where To?Hannes Leitgeb & Krister Segerberg - 2007 - Synthese 155 (2):167-190.
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
Evidentiality, Modality and Probability.Eric McCready & Norry Ogata - 2007 - Linguistics and Philosophy 30 (2):147 - 206.
Probabilistic Dynamic Belief Revision.Alexandru Baltag & Sonja Smets - 2008 - Synthese 165 (2):179 - 202.
View all 23 citations / Add more citations
Similar books and articles
Dynamic Epistemic Logic with Branching Temporal Structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.
Bridging Learning Theory and Dynamic Epistemic Logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
A Dynamic-Epistemic Hybrid Logic for Intentions and Information Changes in Strategic Games.O. Roy - 2009 - Synthese 171 (2):291 - 320.
Analytics
Added to PP index
2009-01-28
Total views
164 ( #72,416 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
2009-01-28
Total views
164 ( #72,416 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
How can I increase my downloads?
Downloads