Pages that link to "Item:Q4636573"

The following pages link to Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison (Q4636573):

Displaying 11 items.

• 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)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
• Model checking interval temporal logics with regular expressions (Q2182727) (← links)
• Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
• (Q3384161) (← links)
• Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
• A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
• An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
• An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)