The following pages link to Equational coalgebraic logic (Q2805164):
Displaying 21 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Layered logics, coalgebraically (Q1742620) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- EQ-logics with delta connective (Q2805866) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- Modal predicates and coequations (Q2842557) (← links)
- On a coalgebraic view on logic (Q2863171) (← links)
- Strongly complete logics for coalgebras (Q2914235) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- (Q4345010) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5465440) (← links)
- Foundations of Software Science and Computational Structures (Q5705904) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900833) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)