Pages that link to "Item:Q2277246"

The following pages link to Expressiveness and completeness of an interval tense logic (Q2277246):

Displaying 50 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← 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)
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← 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)
• Subject-oriented spatial logic (Q821569) (← links)
• Algebraic neighbourhood logic (Q929966) (← links)
• TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
• Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
• A note on the interpolation property in tense logic (Q1366764) (← links)
• Duration calculus: Logical foundations (Q1377324) (← links)
• Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies (Q1414569) (← 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)
• Combining temporal logic systems (Q1815427) (← links)
• An `almost classical' period-based tense logic (Q1823925) (← links)
• Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
• Model checking interval temporal logics with regular expressions (Q2182727) (← links)
• Expressiveness of concurrent intensionality (Q2193283) (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
• On coarser interval temporal logics (Q2321249) (← links)
• Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
• Temporal prepositions and their logic (Q2457655) (← links)
• A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
• A proof system for unified temporal logic (Q2686105) (← links)
• Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
• A duration calculus with neighborhood modalities (Q2901191) (← links)
• On begins, meets and before (Q2909218) (← links)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
• (Q3384161) (← links)
• A Correspondence between Temporal Description Logics (Q3643271) (← links)
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762) (← links)
• Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
• A Modal Logic for Chopping Intervals (Q3985545) (← links)
• (Q4218103) (← links)
• Handling database updates in two-dimensional temporal logic (Q4275692) (← links)
• Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
• Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
• (Q4394922) (← links)
• Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
• Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
• (Q5028481) (← links)
• On Temporal and Separation Logics (Q5079764) (← links)
• Computational complexity of a core fragment of Halpern-Shoham logic (Q5079792) (← links)
• (Q5091278) (← links)
• A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)