Pages that link to "Item:Q5009455"
From MaRDI portal
The following pages link to (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455):
Displaying 11 items.
- Hausdorff coalgebras (Q2024924) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5875370) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)
- Proving behavioural apartness (Q6666778) (← links)
