The following pages link to (Q5208872):
Displayed 7 items.
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- (Q5140266) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
- Circular (Yet Sound) Proofs in Propositional Logic (Q6116357) (← links)
- Abstract cyclic proofs (Q6160752) (← links)