Pages that link to "Item:Q3056298"
From MaRDI portal
The following pages link to Deduction Systems for Coalgebras Over Measurable Spaces (Q3056298):
Displaying 14 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- Harsanyi type spaces and final coalgebras constructed from satisfied theories (Q2847819) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- Intuitive Probability Logic (Q3010405) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
