Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
From MaRDI portal
Publication:288804
DOI10.1016/j.tcs.2015.11.030zbMath1408.03011OpenAlexW2183366579MaRDI QIDQ288804
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Publication date: 27 May 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.11.030
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- An optimal decision procedure for right propositional neighborhood logic
- Linear temporal logic as an executable semantics for planning languages
- Undecidable problems in unreliable computations.
- Verifying lossy channel systems has nonprimitive recursive complexity.
- Two variable first-order logic over ordered domains
- On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
- Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals
- LTL with the freeze quantifier and register automata
- Two-variable logic on data words
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
- Tableaux for Logics of Subinterval Structures over Dense Orderings
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- A Modal Logic for Chopping Intervals
- A propositional modal logic of time intervals
- On the Decision Problem for Two-Variable First-Order Logic
- Interval Logics and ωB-Regular Languages
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
- On the decidability and complexity of Metric Temporal Logic over finite words
- Two-Variable First-Order Logic with Equivalence Closure
- A Road Map of Interval Temporal Logics and Duration Calculi