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

DOI10.1007/978-3-540-89439-1_41zbMATH Open1182.03037OpenAlexW1572953660MaRDI QIDQ5505583FDOQ5505583

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

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

Mathematics Subject Classification ID

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

Cited In (13)

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• 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
• Hybrid metric propositional neighborhood logics with interval length binders
• 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
• On coarser interval temporal logics
• On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
• The dark side of interval temporal logic: marking the undecidability border
• Title not available (Why is that?)
• Two-sorted point-interval temporal logics
• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
• Sub-propositional fragments of the interval temporal logic of Allen's relations

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)