Pages that link to "Item:Q2958510"
From MaRDI portal
The following pages link to On closure ordinals for the modal mu−calculus (Q2958510):
Displaying 7 items.
- The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals (Q1267848) (← links)
- Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
- (Q4038531) (← links)
- On guarded transformation in the modal -calculus (Q4644509) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points (Q6541152) (← links)