The following pages link to (Q4222950):
Displaying 13 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Institutionalising Many-Sorted Coalgebraic Modal Logic (Q2842552) (← links)
- A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras (Q2842561) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
