Pages that link to "Item:Q2904627"

The following pages link to A complete axiom system for propositional interval temporal logic with infinite time (Q2904627):

Displaying 19 items.

• A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162) (← links)
• Completeness of the accumulation calculus (Q1383468) (← links)
• Completeness of temporal logics over infinite intervals. (Q1421487) (← links)
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
• A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
• Compositional reasoning using intervals and time reversal (Q2251129) (← links)
• An application of temporal projection to interleaving concurrency (Q2403529) (← links)
• Interconnections between classes of sequentially compositional temporal formulas (Q2450935) (← links)
• A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
• Catoids and modal convolution algebras (Q2686581) (← links)
• \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
• (Q3124391) (← links)
• Symbolic Model Checking for Alternating Projection Temporal Logic (Q3467865) (← links)
• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187) (← links)
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
• Verification: Theory and Practice (Q5305654) (← links)
• Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals (Q5432675) (← links)
• Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)