Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification

DOI10.1007/978-3-540-89439-1_41MaRDI QIDQ5505583zbMATHOpenAlexFDO

Authors Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco, Valentin Goranko

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_41

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• Interval temporal logics over finite linear orders: the complete picture
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Sub-propositional fragments of the interval temporal logic of Allen's relations
• Interval temporal logics over strongly discrete linear orders: the complete picture

Cited in

(14)

• A survey on temporal logics for specifying and verifying real-time systems
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• Undecidability of the logic of overlap relation over discrete linear orderings
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
• Sub-propositional fragments of the interval temporal logic of Allen's relations
• On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
• Hybrid metric propositional neighborhood logics with interval length binders
• The dark side of interval temporal logic: marking the undecidability border
• scientific article; zbMATH DE number 1931665 (Why is no real title available?)
• On the decidability of a fragment of preferential LTL
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• Two-sorted point-interval temporal logics
• On coarser interval temporal logics

This page was built for publication: Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification

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