Pages that link to "Item:Q1114673"
From MaRDI portal
The following pages link to Logical definability of fixed points (Q1114673):
Displaying 5 items.
- Characters and fixed points in provability logic (Q749521) (← links)
- On modal mu-calculus and Büchi tree automata (Q1349728) (← links)
- (Q4819375) (← links)
- The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees (Q4943546) (← links)
- Evidence for Fixpoint Logic (Q5351951) (← links)