Similar Items: Relation lifting, with an application to the many-valued cover modality
- Relational $star$-Liftings for Differential Privacy
- Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
- Completeness for the coalgebraic cover modality
- Encoding many-valued logic in $lambda$-calculus
- Many-valued coalgebraic logic over semi-primal varieties
- A Real-Valued Modal Logic