Probability

---

Basic papers Historical source texts Further directions

Dynamic-epistemic logics are normally qualitative working with ordered models or algebraic structures. But they are compatible with probabilistic approaches which have their own tradition of updating information, such as Bayesian conditioning. Moreover, they fit with more qualitative approaches to the foundations of probability theory.

 

---

Basic papers

⇥

• Alexandru Baltag, Sonja Smets. Probabilistic dynamic belief revision. Synthese, 165(2):179-202, 2008.
• Johan van Benthem, Jelle Gerbrandy, Barteld Kooi. Dynamic Update with Probabilities. Studia Logica, 93(1):67-96, 2009. Prepublication version available.
• Andreea Achimescu, Alexandru Baltag, Joshua Sack. The probabilistic logic of communication and change. Journal of Logic and Computation, 2016. Prepublication version available.

 

---

Historical source texts

↑   ⇥

• Barteld Kooi. Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information, 12(4):381-408, 2003.
• Johan van Benthem. Conditional Probability Meets Update Logic. Journal of Logic, Language and Information, 12(4):409-421, 2003. Prepublication version available.

 

---

Further directions

↑   ↟   ⇥

• Lorenz Demey, Barteld Kooi. Logic and probabilistic update. In Johan van Benthem on Logic and Information Dynamics, 381-404, Springer, 2014. Prepublication version available.
• Jan van Eijck, Bryan Renne. Update, Probability, Knowledge and Belief. In Advances in Modal Logic 2016, 551-570, College Publications, 2016. Prepublication version available.
• Jan van Eijck. Varieties of Belief and Probability. In The facts matter: essays on logic and cognition in honour of Rineke Verbrugge, 67-87, College Publications, 2016. Prepublication version available.