Sigma algebras in probabilistic epistemic dynamics
Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack · 2011
This paper extends probabilistic dynamic epistemic logic from a finite setting to an infinite setting, by introducing σ-algebras to the probability spaces in the models. This may extend the applicability of the logic to a real world setting with infinitely many possible measurements. It is shown that the dynamics preserves desirable properties of measurability and that completeness of the proof system holds with the extended semantics.