Pages that link to "Item:Q1102941"

The following pages link to A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941):

Displayed 10 items.

• 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)
• 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)
• Proof-theoretical investigation of temporal logic with time gaps (Q5930981) ‎ (← links)