Interval temporal logics over strongly discrete linear orders: expressiveness and complexity

DOI10.1016/j.tcs.2014.03.033zbMath1335.03017OpenAlexW2083861746MaRDI QIDQ477203

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

Publication date: 2 December 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.03.033

zbMATH Keywords

complexitydecidabilityexpressivenessdiscrete linear ordersinterval temporal logics

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (14)

Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ Bounded variability of metric temporal logic ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reactive synthesis from interval temporal logic specifications ⋮ Dyck Algebras, Interval Temporal Logic, and Posets of Intervals ⋮ On coarser interval temporal logics ⋮ Computational complexity of hybrid interval temporal logics ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• An optimal decision procedure for right propositional neighborhood logic
• Many-dimensional modal logics: theory and applications
• On termination and invariance for faulty channel machines
• Expressiveness and completeness of an interval tense logic
• Two-sorted Point-Interval Temporal Logics
• ON BEGINS, MEETS AND BEFORE
• Tableaux for Logics of Subinterval Structures over Dense Orderings
• Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
• A propositional modal logic of time intervals
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Interval temporal logics over strongly discrete linear orders: expressiveness and complexity