Stone duality for Markov processes

DOI10.1109/LICS.2013.38MaRDI QIDQ5271069zbMATH OpenFDO

Authors Dexter Kozen, Radu Mardare, Prakash Panangaden, Kim G. Larsen

Publication date 3 July 2017

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

Full work available at URL https://doi.org/10.1109/LICS.2013.38

zbMATH Keywords

completenesslabelled Markov processesprobabilistic modal logicsStone-type duality

Mathematics Subject Classification ID

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)

Recommendations

• Unrestricted Stone duality for Markov processes
• An algebraic theory of Markov processes
• Riesz modal logic for Markov processes
• A logical duality for underspecified probabilistic systems
• Foundations of Software Science and Computational Structures

Cited in

(20)

• Giry and the Machine
• Complete proof systems for weighted modal logic
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Adequacy and complete axiomatization for timed modal logic
• A metrized duality theorem for Markov processes
• A Demonic Approach to Information in Probabilistic Systems
• The countable Henkin principle
• scientific article; zbMATH DE number 1498615 (Why is no real title available?)
• Reasoning about bounds in weighted transition systems
• Duality for the logic of quantum actions
• scientific article; zbMATH DE number 7471705 (Why is no real title available?)
• Proof theory of Riesz spaces and modal Riesz spaces
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Riesz modal logic for Markov processes
• Unrestricted Stone duality for Markov processes
• An algebraic theory of Markov processes
• Probabilistic logics based on Riesz spaces
• A logical duality for underspecified probabilistic systems
• Alternation-free weighted mu-calculus: decidability and completeness
• Concurrent weighted logic

This page was built for publication: Stone duality for Markov processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5271069)