Stone Duality for Markov Processes

DOI10.1109/LICS.2013.38zbMath1433.06006MaRDI QIDQ5271069

Radu Mardare, Dexter Kozen, Prakash Panangaden, Kim Guldstrand Larsen

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

completeness; labelled Markov processes; Stone-type duality; probabilistic modal logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B48: Probability and inductive logic

03G25: Other algebras related to logic

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

60J99: Markov processes