Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
From MaRDI portal
Recommendations
- Interval temporal logics over strongly discrete linear orders: the complete picture
- Interval temporal logics over finite linear orders: the complete picture
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
- On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
- On the complexity of fragments of the modal logic of Allen's relations over dense structures
Cites work
- scientific article; zbMATH DE number 2038898 (Why is no real title available?)
- A Road Map of Interval Temporal Logics and Duration Calculi
- A propositional modal logic of time intervals
- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
- An optimal decision procedure for right propositional neighborhood logic
- Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers
- Expressiveness and completeness of an interval tense logic
- Maintaining knowledge about temporal intervals
- Many-dimensional modal logics: theory and applications
- Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
- On begins, meets and before
- On termination and invariance for faulty channel machines
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Tableaux for logics of subinterval structures over dense orderings
- Two-sorted point-interval temporal logics
Cited in
(28)- An interval temporal logic characterization of extended \(\omega\)-regular languages
- Interval temporal logics over strongly discrete linear orders: the complete picture
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
- Undecidability of the logic of overlap relation over discrete linear orderings
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- Fuzzy Halpern and Shoham's interval temporal logics
- Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- Computational complexity of hybrid interval temporal logics
- A New Modal Approach to the Logic of Intervals
- Interval Temporal Logic for Visibly Pushdown Systems
- An integrated first-order theory of points and intervals over linear orders. I
- Unary and two-variable interval logics
- On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
- Neural-symbolic temporal decision trees for multivariate time series classification
- Decision tree learning with spatial modal logics
- Hybrid fragments of Halpern-Shoham logic and their expressive power
- A Road Map of Interval Temporal Logics and Duration Calculi
- Reactive synthesis from interval temporal logic specifications
- Interval temporal logics over finite linear orders: the complete picture
- On the complexity of fragments of the modal logic of Allen's relations over dense structures
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
- Dyck algebras, interval temporal logic, and posets of intervals
- A Minimal Hybrid Logic for Intervals
- scientific article; zbMATH DE number 1931665 (Why is no real title available?)
- On coarser interval temporal logics
- Extracting interval temporal logic rules: a first approach
- Bounded variability of metric temporal logic
This page was built for publication: Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q477203)
