Stone duality for Markov processes

DOI10.1109/LICS.2013.38zbMATH Open1433.06006MaRDI QIDQ5271069FDOQ5271069

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

Publication date: 3 July 2017

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

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

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)

Cited In (15)

• The Countable Henkin Principle
• Title not available (Why is that?)
• Alternation-free weighted mu-calculus: decidability and completeness
• Title not available (Why is that?)
• A metrized duality theorem for Markov processes
• Adequacy and complete axiomatization for timed modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Giry and the Machine
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Concurrent weighted logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Duality for the logic of quantum actions
• Complete proof systems for weighted modal 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)