BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/5057/21-May-2013-Stone-Duality-for-Markov-Process
es-Prakash-Panangaden
DTSTAMP:20130516T000000
SUMMARY:Stone Duality for Markov Processes, Prakas
h Panangaden
ATTENDEE;ROLE=Speaker:Prakash Panangaden
DTSTART:20130521T133000
DTEND:20130521T000000
LOCATION:HG00.303 (Huygensgebouw, Heyendaalseweg 1
35), Nijmegen
DESCRIPTION:We define Aumann algebras, an algebrai
c analog of probabilistic modal logic. An Aumann a
lgebra consists of a Boolean algebra with operator
s modeling probabilistic transitions. We prove a S
tone-type duality theorem between countable Aumann
algebras and countably-generated continuous-space
Markov processes. Our results subsume existing re
sults on completeness of probabilistic modal logic
s for Markov processes. (This is joint work with:
Dexter Kozen, Kim Larsen and Radu Mardare) For m
ore information, see http://www.cs.mcgill.ca/~prak
ash/ or contact H.H.Hansen at cwi.nl
X-ALT-DESC;FMTTYPE=text/html:\n We defin
e Aumann algebras, an algebraic analog of probabil
istic modal logic. An Aumann algebra consists of a
Boolean algebra with operators modeling probabili
stic transitions. We prove a Stone-type duality th
eorem between countable Aumann algebras and counta
bly-generated continuous-space Markov processes. O
ur results subsume existing results on completenes
s of probabilistic modal logics for Markov process
es.

\n (This is joint work with: Dexter
Kozen, Kim Larsen and Radu Mardare)

\n \n
For more information, see http://w
ww.cs.mcgill.ca/~prakash/ or contact H.H.Hansen at cwi.
nl\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/5057/21-May-2013-Stone-Duality-for-Markov-Process
es-Prakash-Panangaden
END:VEVENT
END:VCALENDAR