The following pages link to (Q4364518):
Displaying 10 items.
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic (Q1873220) (← links)
- On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic (Q1873230) (← links)
- A decision procedure for nonperiodic sequents of the first-order linear temporal logic (Q1881801) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- (Q4451651) (← links)
- (Q4503155) (← links)
- A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) (← links)
