The following pages link to (Q4661993):
Displaying 9 items.
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Some compactness results for modal logic (Q1823924) (← links)
- A note on the issue of cohesiveness in canonical models (Q2209168) (← links)
- Complete congruences on topologies and down-set lattices (Q2642570) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- (Q4394923) (← links)