Pages that link to "Item:Q4461930"

The following pages link to A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection (Q4461930):

Displaying 26 items.

• A complete proof system for propositional projection temporal logic (Q391223) (← links)
• An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
• Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
• Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
• Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
• A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
• Compositional reasoning using intervals and time reversal (Q2251129) (← links)
• Temporal prepositions and their logic (Q2457655) (← links)
• A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
• A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
• Back from the future (Q2901197) (← links)
• Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
• A History of Until (Q3185767) (← links)
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
• Complexity of propositional projection temporal logic with star (Q3616217) (← links)
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
• A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269) (← links)
• Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
• Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
• Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)
• A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
• A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
• A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)