Pages that link to "Item:Q3984429"
From MaRDI portal
The following pages link to The McKinsey axiom is not canonical (Q3984429):
Displaying 11 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)
- The Boxdot Conjecture and the Generalized McKinsey Axiom (Q3121057) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Topological product of modal logics with the McKinsey axiom (Q6545174) (← links)