The following pages link to (Q4329247):
Displaying 5 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)