2020-05-01: Radu Mardare (MSP)

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

Radu Mardare (MSP)

Stone duality for Markov processes (second attempt)

Abstract

The talk will focus on the category of Markov processes, on Markovian logics and Aumann algebras. Markovian logics are modal logics designed to specify (approximated) properties of Markov processes and characterize their bisimilarity. Aumann algebras are the algebraic counterpart of Markovian logics, i.e., they are Boolean algebras with operators that encode probabilistic information. Markovian logics are not compact and for this reason the "classic" Stone duality fails. I will present a different version of Stone duality constructed on top of Rasiowa-Sikorski lemma, which is a result bringing topological results into Model Theory.

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

2020-05-01 14:00:00 UTC
Online