Stone Duality for Markov Processes
From MaRDI portal
Publication:5271069
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)
Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Markov processes (60J99)
Related Items (14)
Adequacy and complete axiomatization for timed modal logic ⋮ A metrized duality theorem for Markov processes ⋮ The Countable Henkin Principle ⋮ Unnamed Item ⋮ Concurrent weighted logic ⋮ Alternation-free weighted mu-calculus: decidability and completeness ⋮ Unnamed Item ⋮ Duality for the logic of quantum actions ⋮ Giry and the Machine ⋮ Complete proof systems for weighted modal logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics
This page was built for publication: Stone Duality for Markov Processes
