Decidability of interval temporal logics over split-frames via granularity
From MaRDI portal
Recommendations
- Sharpening the undecidability of interval temporal logic
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
- Interval temporal logics over finite linear orders: the complete picture
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
Cited in
(13)- Developing bounded reasoning
- On coarser interval temporal logics
- A survey on temporal logics for specifying and verifying real-time systems
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Definability and decidability of binary predicates for time granularity
- Sharpening the undecidability of interval temporal logic
- scientific article; zbMATH DE number 6863862 (Why is no real title available?)
- Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
- Fuzzy Halpern and Shoham's interval temporal logics
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Neural-symbolic temporal decision trees for multivariate time series classification
- Decision tree learning with spatial modal logics
- An optimal decision procedure for right propositional neighborhood logic
This page was built for publication: Decidability of interval temporal logics over split-frames via granularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708923)
