The following pages link to Coalgebraic Lindström theorems (Q2904060):
Displaying 12 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A new modal Lindström theorem (Q874750) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- A Van Benthem/Rosen theorem for coalgebraic predicate logic (Q2983396) (← links)
- Lax Invariant in Coalgebra (Q3079379) (← links)
- Coalgebraic Correspondence Theory (Q3557860) (← links)
- (Q4328254) (← links)
- (Q4603451) (← links)