The following pages link to (Q5311052):
Displaying 6 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
