The following pages link to (Q2757840):
Displaying 12 items.
- Synchronized linear-time temporal logic (Q647400) (← links)
- Incompleteness of first-order temporal logic with until (Q1123184) (← links)
- 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)
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- A sequent calculus for propositional temporal logic with time gaps (Q2791888) (← links)
- Completeness theorem for a first order linear-time logic (Q2913981) (← links)
- Sequential Calculus for a First Order Infinitary Temporal Logic (Q3751561) (← links)
- An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
- (Q5460163) (← links)
