Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

21 May 2013, Stone Duality for Markov Processes, Prakash Panangaden

Speaker: Prakash Panangaden
Date: Tuesday 21 May 2013
Time: 13:30 - 14:30
Location: HG00.303 (Huygensgebouw, Heyendaalseweg 135), Nijmegen

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 a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.
(This is joint work with: Dexter Kozen, Kim Larsen and Radu Mardare)

For more information, see http://www.cs.mcgill.ca/~prakash/ or contact

Please note that this newsitem has been archived, and may contain outdated information or links.