The following pages link to Computer Science Logic (Q5394570):
Displaying 9 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Synonymous logics: a correction (Q2481245) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- Skolem’s Theorem in Coherent Logic (Q5212032) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)