Pages that link to "Item:Q2758075"
From MaRDI portal
The following pages link to Canonicity for intensional logics with even axioms (Q2758075):
Displaying 6 items.
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Constructive canonicity for lattice-based fixed point logics (Q1685915) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF (Q5099779) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)