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 processesStone-type dualityprobabilistic modal logics

Mathematics Subject Classification ID

Markov processes (60J99) Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

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)

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

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)