Pages that link to "Item:Q4910420"
From MaRDI portal
The following pages link to Some Sahlqvist Completeness Results for Coalgebraic Logics (Q4910420):
Displaying 6 items.
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Algebraic semantics for coalgebraic logics (Q2847816) (← links)
- Completeness for the coalgebraic cover modality (Q2904618) (← links)
- Flat Coalgebraic Fixed Point Logics (Q3584953) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)