The following pages link to (Q5465440):
Displaying 10 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Polynomials, fragments of temporal logic and the variety DA over traces (Q880176) (← links)
- Separation of clones of cooperations by cohyperidentities (Q1011714) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Duality for some categories of coalgebras. (Q1771881) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (Q3617044) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)