Pages that link to "Item:Q2401020"
From MaRDI portal
The following pages link to Algebraic modal correspondence: Sahlqvist and beyond (Q2401020):
Displaying 11 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- (Q5119388) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Rough concepts (Q6081075) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
