Switch to: Citations

References in:

Epistemic Probability Logic Simplified

In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 158-177 (2014)

Add references

You must login to add references.
  1. Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67-96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Probabilistic dynamic belief revision.Alexandru Baltag & Sonja Smets - 2008 - Synthese 165 (2):179 - 202.
    We investigate the discrete (finite) case of the Popper–Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of “knowledge”. We develop a probabilistic version of this concept (“degree of safety”) and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Probability and the logic of rational belief.Henry Ely Kyburg - 1961 - Middletown, Conn.,: Wesleyan University Press.
    Download  
     
    Export citation  
     
    Bookmark   278 citations  
  • Probability and the Logic of Rational Belief.Henry Ely Kyburg - 1961 - Middletown, CT, USA: Wesleyan University Press.
    Download  
     
    Export citation  
     
    Bookmark   320 citations  
  • Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
    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.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.
    This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison of learning by erasing (Lange et al. 1996) and iterated epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations