Pages that link to "Item:Q2251125"

The following pages link to The dark side of interval temporal logic: marking the undecidability border (Q2251125):

Displaying 19 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
• Checking interval properties of computations (Q329413) (← links)
• Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← 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)
• 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)
• The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
• On coarser interval temporal logics (Q2321249) (← links)
• Bounded variability of metric temporal logic (Q2408743) (← links)
• Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
• (Q3384161) (← links)
• (Q4580322) (← links)
• Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
• (Q5015270) (← links)
• \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)