Pages that link to "Item:Q2457655"
From MaRDI portal
The following pages link to Temporal prepositions and their logic (Q2457655):
Displaying 21 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Prior and temporal sequences for natural language (Q516415) (← links)
- Constraining cycle alternations in model checking for interval temporal logic (Q737106) (← 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)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← 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)
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- (Q3384161) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- (Q5015270) (← links)
- (Q5028481) (← links)
- (Q5079773) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)