Pages that link to "Item:Q2848939"
From MaRDI portal
The following pages link to Positive Fragments of Coalgebraic Logics (Q2848939):
Displaying 9 items.
- Relation lifting, a survey (Q299182) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- (Q5101351) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)
