Pages that link to "Item:Q618173"
From MaRDI portal
The following pages link to Coequational logic for accessible functors (Q618173):
Displaying 6 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Operators on classes of coalgebras (Q5958621) (← links)