Sharpening the undecidability of interval temporal logic
From MaRDI portal
Recommendations
Cited in
(25)- Which fragments of the interval temporal logic HS are tractable in model checking?
- The dark side of interval temporal logic: marking the undecidability border
- A survey on temporal logics for specifying and verifying real-time systems
- Interval temporal logic model checking: the border between good and bad HS fragments
- Prompt interval temporal logic
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- Undecidability of the logic of overlap relation over discrete linear orderings
- Checking interval properties of computations
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- Interval vs. point temporal logic model checking. An expressiveness comparison
- Decidability of interval temporal logics over split-frames via granularity
- Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
- Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes
- Interval Temporal Logic for Visibly Pushdown Systems
- An interval temporal logic characterization of extended \(\omega\)-regular languages
- Parametric interval temporal logic over infinite words
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Unary and two-variable interval logics
- Interval temporal logic HS with path quantifiers
- A quantitative extension of interval temporal logic over infinite words
- Handling of past and future with Phenesthe+
- Complexity analysis of a unifying algorithm for model checking interval temporal logic
- An optimal decision procedure for right propositional neighborhood logic
This page was built for publication: Sharpening the undecidability of interval temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766545)
