Pages that link to "Item:Q1102941"
From MaRDI portal
The following pages link to A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941):
Displaying 14 items.
- The logic of ``initially'' and ``next'': complete axiomatization and complexity (Q294659) (← links)
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- Arithmetical axiomatization of first-order temporal logic (Q1101100) (← links)
- Axiomatizing fixpoint logics (Q1190508) (← 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)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- A note on infinitary continuous logic (Q3460523) (← links)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic (Q4236063) (← links)
- Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
