Stone Duality for Markov Processes

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 proc...

Celý popis

Podrobná bibliografia

Vydané v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 321 - 330
Hlavní autori:	Kozen, Dexter, Larsen, Kim G., Mardare, Radu, Panangaden, Prakash
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2013
Predmet:	Boolean algebra completeness Computer science Extraterrestrial measurements Labelled Markov processes Markov processes Probabilistic logic Probabilistic modal logics Stone-type duality Topology
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!