Pages that link to "Item:Q2994480"
From MaRDI portal
The following pages link to Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480):
Displaying 7 items.
- A stochastic interpretation of game logic (Q516033) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Stochastic coalgebraic logic (Q1049890) (← links)
- Generic infinite traces and path-based coalgebraic temporal logics (Q2919451) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)