Pages that link to "Item:Q2914235"
From MaRDI portal
The following pages link to Strongly Complete Logics for Coalgebras (Q2914235):
Displayed 11 items.
- Rational operational models (Q265819) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Enriched logical connections (Q2392097) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Some Co-Birkhoff Type Theorems (Q2842554) (← links)
- A categorical view of varieties of ordered algebras (Q5058361) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)