Pages that link to "Item:Q418010"
From MaRDI portal
The following pages link to Sahlqvist theorem for modal fixed point logic (Q418010):
Displayed 4 items.
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q5015268) (← links)