The following pages link to (Q2847816):
Displayed 6 items.
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)