Pages that link to "Item:Q636267"

The following pages link to Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267):

Displayed 28 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) ‎ (← links)
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) ‎ (← links)
• Checking interval properties of computations (Q329413) ‎ (← links)
• Metric propositional neighborhood logic with an equivalence relation (Q329414) ‎ (← links)
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) ‎ (← links)
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) ‎ (← 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)
• Model checking interval temporal logics with regular expressions (Q2182727) ‎ (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) ‎ (← links)
• The dark side of interval temporal logic: marking the undecidability border (Q2251125) ‎ (← links)
• FTClogic: fuzzy temporal constraint logic (Q2328912) ‎ (← links)
• On interval modal logic with ``after'' relation (Q2364466) ‎ (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) ‎ (← links)
• Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) ‎ (← links)
• Two-sorted Point-Interval Temporal Logics (Q2825405) ‎ (← links)
• Prompt Interval Temporal Logic (Q2835872) ‎ (← links)
• ON BEGINS, MEETS AND BEFORE (Q2909218) ‎ (← links)
• Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) ‎ (← links)
• Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) ‎ (← links)
• Interval vs. Point Temporal Logic Model Checking (Q4617981) ‎ (← links)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) ‎ (← links)
• Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) ‎ (← links)
• (Q5015270) ‎ (← links)
• (Q5028481) ‎ (← links)
• A separation theorem for discrete-time interval temporal logic (Q5074367) ‎ (← links)