Interval temporal logics over strongly discrete linear orders: the complete picture

zbMATH Open1469.03045arXiv1210.2479MaRDI QIDQ4986512FDOQ4986512

Authors: Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco 

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2479

Recommendations

• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Interval temporal logics over finite linear orders: the complete picture
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• The dark side of interval temporal logic: marking the undecidability border
• On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Cited In (11)

• Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
• Title not available (Why is that?)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
• Undecidability of the logic of overlap relation over discrete linear orderings
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
• The undecidability of the logic of subintervals
• Interval temporal logics over finite linear orders: the complete picture
• The dark side of interval temporal logic: marking the undecidability border
• Begin, after, and later: a maximal decidable interval temporal logic
• Sub-propositional fragments of the interval temporal logic of Allen's relations

This page was built for publication: Interval temporal logics over strongly discrete linear orders: the complete picture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986512)