Logic and probabilistic update

Lorenz Demey, Barteld Kooi

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

5 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationJohan van Benthem on Logic and Information
EditorsAlexandru Baltag, Sonja Smets
PublisherSpringer
Pages381-404
Number of pages24
Volume5
ISBN (Electronic)978331906025
ISBN (Print)9783319060248
DOIs
Publication statusPublished - 2014

Publication series

NameOustanding Contributions to Logic
PublisherSpringer
Volume5
ISSN (Print)2211-2758
ISSN (Electronic)2211-2766

Cite this