Pages that link to "Item:Q2904618"
From MaRDI portal
The following pages link to Completeness for the coalgebraic cover modality (Q2904618):
Displayed 11 items.
- Relation lifting, a survey (Q299182) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
- (Q5020955) (← links)
- Rough and Near: Modal History of Two Theories (Q5082210) (← links)
- (Q5101351) (← links)