Pages that link to "Item:Q2983396"
From MaRDI portal
The following pages link to A Van Benthem/Rosen theorem for coalgebraic predicate logic (Q2983396):
Displaying 8 items.
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Coalgebraic Lindström theorems (Q2904060) (← links)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- A van Benthem Theorem for Fuzzy Modal Logic (Q5145370) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)