The following pages link to (Q4580204):
Displaying 7 items.
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- An institutional approach to positive coalgebraic logic (Q3133183) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q5419875) (← links)
- Stone duality for relations (Q6612781) (← links)