2020-02-07: Radu Mardare (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Radu Mardare (MSP)

Stone Duality in Stochastic Context

Abstract

We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra consists of a Boolean algebra with operators modeling probabilistic transitions. We prove that countable Aumann algebras and countably-generated continuous-space Markov processes are dual in the sense of Stone. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.

This summarizes results obtained in collaboration with Dexter Kozen and Prakash Panangaden.

2020-02-07 14:00:00 UTC
LT1415