Pages that link to "Item:Q2576941"
From MaRDI portal
The following pages link to Final coalgebras and the Hennessy-Milner property (Q2576941):
Displaying 16 items.
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- On minimal coalgebras (Q934670) (← links)
- The subobject classifier of the category of functional bisimulations (Q1301354) (← 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)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Logical construction of final coalgebras (Q2843736) (← links)
- Harsanyi type spaces and final coalgebras constructed from satisfied theories (Q2847819) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- A Note on Expressive Coalgebraic Logics for Finitary Set Functors (Q3056299) (← links)
- Final Coalgebras are Ideal Completions of Initial Algebras (Q4542236) (← links)
- Final Coalgebras from Corecursive Algebras. (Q5275353) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)