The following pages link to Completions of \(\mu \)-algebras (Q925850):
Displaying 16 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- \(G_a\)-actions and completions (Q926844) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- The Dedekind completion of \(d\)-algebras (Q1768344) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- On completions of Hecke algebras (Q2283644) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Completions of Basic Algebras (Q3638276) (← links)
- Embeddable AW<sup>∗</sup> -Algebras and Regular Completions (Q3784653) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- (Q5015268) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)