Decidability of the interval temporal logic ABB over the natural numbers
From MaRDI portal
Publication:3113783
Recommendations
- Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness
- On begins, meets and before
- Begin, after, and later: a maximal decidable interval temporal logic
Cited in
(19)- Reactive synthesis from interval temporal logic specifications
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- On coarser interval temporal logics
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
- Why systems of temporal logic are sometimes (un)useful?
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- On begins, meets and before
- Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals
- Sub-propositional fragments of the interval temporal logic of Allen's relations
- On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
- Metric propositional neighborhood logic with an equivalence relation
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- Interval logics and B-regular languages
- Model checking the logic of Allen's relations \textit{Meets} and \textit{Started-by} is \(\mathbf{P}^{\mathbf{NP}}\)-complete
- Begin, after, and later: a maximal decidable interval temporal logic
- Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness
- Satisfiability problem in interval FP-logic
- An interval temporal logic characterization of extended \(\omega\)-regular languages
- Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
This page was built for publication: Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3113783)
