Pages that link to "Item:Q2495647"
From MaRDI portal
The following pages link to Final coalgebras for functors on measurable spaces (Q2495647):
Displaying 18 items.
- Approximating Markov processes through filtration (Q442296) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Universal type structures with unawareness (Q2437179) (← links)
- An infinitary propositional probability logic (Q2700825) (← links)
- Continuous functions on final coalgebras (Q2805147) (← 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)
- Deduction Systems for Coalgebras Over Measurable Spaces (Q3056298) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- A final coalgebra theorem (Q5096269) (← links)
- (Q5875398) (← links)
- The existence of universal qualitative belief spaces (Q6122070) (← links)