The following pages link to Coalgebraic Correspondence Theory (Q3557860):
Displaying 4 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Pre-Galois connection on coalgebras for generic component refinement (Q2873691) (← links)
- A Van Benthem/Rosen theorem for coalgebraic predicate logic (Q2983396) (← links)