Pages that link to "Item:Q2873668"
From MaRDI portal
The following pages link to Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668):
Displaying 8 items.
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Institutionalising many-sorted coalgebraic modal logic (Q2842552) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Strongly complete logics for coalgebras (Q2914235) (← links)
- Towards a Coalgebraic Chomsky Hierarchy (Q3190167) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)