Pages that link to "Item:Q2983394"
From MaRDI portal
The following pages link to Sahlqvist preservation for topological fixed-point logic (Q2983394):
Displaying 5 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces (Q1685944) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- (Q5015268) (← links)