Pages that link to "Item:Q1762482"
From MaRDI portal
The following pages link to Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482):
Displaying 7 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Atom structures and Sahlqvist equations (Q1272149) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Sahlqvist preservation for topological fixed-point logic (Q2983394) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q5015268) (← links)
- The preservation of Sahlqvist equations in completions of Boolean algebras with operators (Q5932468) (← links)