The following pages link to Equational Coalgebraic Logic (Q2805164):
Displayed 7 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)