Logic and probabilistic update

Lorenz Demey, Barteld Kooi


5 Citaten (Scopus)


This chapter surveys recent work on probabilistic extensions of epistemic and dynamic-epistemic logics (the latter include the basic system of public announcement logic as well as the full product update logic). It emphasizes the importance of higher-order information as a distinguishing feature of these logics. This becomes particularly clear in the dynamic setting: Although there exists a clear relationship between usual Bayesian conditionalization and public announcement, the probabilistic effects of the latter are in general more difficult to describe, because of the subtleties involved in higher-order information. Finally, the chapter discusses some applications of probabilistic dynamic epistemic logic, such as the Lockean thesis in formal epistemology and Aumann’s agreement theorem in game theory.
Originele taal-2English
TitelJohan van Benthem on Logic and Information
RedacteurenAlexandru Baltag, Sonja Smets
Aantal pagina's24
ISBN van elektronische versie978331906025
ISBN van geprinte versie9783319060248
StatusPublished - 2014

Publicatie series

NaamOustanding Contributions to Logic
ISSN van geprinte versie2211-2758
ISSN van elektronische versie2211-2766

Citeer dit