Pages that link to "Item:Q3984429"
From MaRDI portal
The following pages link to The McKinsey axiom is not canonical (Q3984429):
Displaying 9 items.
- Binary subtrees with few labeled paths (Q654001) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Canonicity for Intensional Logics with Even Axioms (Q2758075) (← links)
- REFLEXIVE-INSENSITIVE MODAL LOGICS (Q2804478) (← links)
- Bounded lattice expansions (Q5936163) (← links)
