Pages that link to "Item:Q418010"
From MaRDI portal
The following pages link to Sahlqvist theorem for modal fixed point logic (Q418010):
Displaying 9 items.
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Axiomatizing fixpoint logics (Q1190508) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- A Sahlqvist theorem for relevant modal logics (Q1810815) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Sahlqvist preservation for topological fixed-point logic (Q2983394) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q5015268) (← links)
- (Q5419870) (← links)