Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

DOI10.1007/978-3-662-44522-8_38zbMath1426.03018OpenAlexW421318303MaRDI QIDQ2922038

Gabriele Puppis, Angelo Montanari, Pietro Sala

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_38

Mathematics Subject Classification ID

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

Related Items (4)

Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Bounded variability of metric temporal logic ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ Reactive synthesis from interval temporal logic specifications

This page was built for publication: Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals