Pages that link to "Item:Q2577594"
From MaRDI portal
The following pages link to Invertible infinitary calculus without loop rules for restricted FTL (Q2577594):
Displaying 6 items.
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic (Q1873220) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- Restrictions for loop-check in sequent calculus for temporal logic with until operator (Q2809676) (← links)
- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus (Q4560364) (← links)