Pages that link to "Item:Q1913297"
From MaRDI portal
The following pages link to A double arity hierarchy theorem for transitive closure logic (Q1913297):
Displaying 6 items.
- On decidability of the theory with the transitive closure operator (Q266242) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Arity hierarchies (Q2563982) (← links)
- On a hierarchy involving transitive closure logic and existential second-order quantification (Q3147357) (← links)
- The dimension of the negation of transitive closure (Q4842619) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)