The following pages link to (Q5419889):
Displaying 11 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Enriched logical connections (Q2392097) (← links)
- (Q5028440) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5094149) (← links)
- (Q5101351) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- (Q5875398) (← links)
