On coarser interval temporal logics

DOI10.1016/J.ARTINT.2018.09.001zbMath1480.03010OpenAlexW2897975441WikidataQ129084400 ScholiaQ129084400MaRDI QIDQ2321249

Ionel Eduard Stan, Pietro Sala, Emilio Muñoz-Velasco, Mercedes Pelegrín, Guido Sciavicco

Publication date: 28 August 2019

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11392/2398449

zbMATH Keywords

complexity(un)decidabilitymodal and temporal logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (6)

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Dynamic Branching in Qualitative Constraint Networks via Counting Local Models ⋮ Neural-symbolic temporal decision trees for multivariate time series classification ⋮ Decision tree learning with spatial modal logics ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models

Uses Software

• LoTREC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• Checking interval properties of computations
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Duration calculus. A formal approach to real-time systems.
• A benchmark method for the propositional modal logics K, KT, S4
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
• The dark side of interval temporal logic: marking the undecidability border
• Expressiveness and completeness of an interval tense logic
• Temporal prepositions and their logic
• On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
• A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• Tableaux for Logics of Subinterval Structures over Dense Orderings
• A decidable weakening of Compass Logic based on cone-shaped cardinal directions
• Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
• Complexity and algorithms for reasoning about time
• A propositional modal logic of time intervals
• Time-dependent concepts: representation and reasoning using temporal description logics
• Undecidability of compass logic
• Horn Fragments of the Halpern-Shoham Interval Temporal Logic
• The Undecidability of the Logic of Subintervals
• Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification

This page was built for publication: On coarser interval temporal logics