Pages that link to "Item:Q1685915"
From MaRDI portal
The following pages link to Constructive canonicity for lattice-based fixed point logics (Q1685915):
Displayed 9 items.
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Modelling socio-political competition (Q2035344) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- (Q3384065) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- (Q5119388) (← links)