The following pages link to (Q5688801):
Displaying 4 items.
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- Terminating sequent calculi for proving and refuting formulas in S4 (Q5176550) (← links)
