Similar Items: Completeness for the coalgebraic cover modality
- An expressive completeness theorem for coalgebraic modal mu-calculi
- Strongly Complete Logics for Coalgebras
- Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
- Relation lifting, with an application to the many-valued cover modality
- Bases as Coalgebras
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA