Pages that link to "Item:Q5958779"
From MaRDI portal
The following pages link to What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779):
Displaying 7 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- Some co-Birkhoff type theorems (Q2842554) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)