Stone duality for Markov processes
From MaRDI portal
Publication:5271069
DOI10.1109/LICS.2013.38zbMATH Open1433.06006MaRDI QIDQ5271069FDOQ5271069
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)
Recommendations
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 (20)
- A logical duality for underspecified probabilistic systems
- Title not available (Why is that?)
- Alternation-free weighted mu-calculus: decidability and completeness
- 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
- Probabilistic logics based on Riesz spaces
- Concurrent weighted logic
- Title not available (Why is that?)
- An algebraic theory of Markov processes
- A Demonic Approach to Information in Probabilistic Systems
- Title not available (Why is that?)
- 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)
