Pages that link to "Item:Q2576941"
From MaRDI portal
The following pages link to Final coalgebras and the Hennessy-Milner property (Q2576941):
Displaying 8 items.
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Substantive assumptions in interaction: a logical perspective (Q2446049) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
