Pages that link to "Item:Q606994"
From MaRDI portal
The following pages link to On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994):
Displayed 4 items.
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs (Q1643142) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- (Q5014446) (← links)