Pages that link to "Item:Q1102941"

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

Displaying 26 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)
• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• Concerning the semantic consequence relation in first-order temporal logic (Q1090673) (← links)
• Arithmetical axiomatization of first-order temporal logic (Q1101100) (← links)
• The power of temporal proofs (Q1118578) (← links)
• Axiomatizing fixpoint logics (Q1190508) (← links)
• The power of the ``always'' operator in first-order temporal logic (Q1350527) (← 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)
• A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
• The temporal logic of linear time frames with inductions axiom (Q2454548) (← 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)
• Completeness theorem for a first order linear-time logic (Q2913981) (← 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)
• (Q4364518) (← links)
• (Q4451651) (← links)
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313) (← links)
• (Q4929426) (← links)
• Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
• Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
• A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) (← links)