Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
From MaRDI portal
Publication:477203
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
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