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

DOI10.1007/978-3-540-89439-1_41MaRDI QIDQ5505583zbMATH OpenOpenAlexFDO

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

(15)

• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• 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
• On coarser interval temporal logics
• A survey on temporal logics for specifying and verifying real-time systems
• 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
• 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
• Undecidability of the logic of overlap relation over discrete linear orderings
• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
• scientific article; zbMATH DE number 1931665 (Why is no real title available?)
• Hybrid metric propositional neighborhood logics with interval length binders
• On the decidability of a fragment of preferential LTL
• Handling of past and future with Phenesthe+

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)