Pages that link to "Item:Q5271069"
From MaRDI portal
The following pages link to Stone Duality for Markov Processes (Q5271069):
Displaying 14 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Giry and the Machine (Q1744380) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- (Q4558788) (← links)
- (Q5028470) (← links)
- (Q5094116) (← links)
- (Q5101337) (← links)
- (Q5214813) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
