Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
From MaRDI portal
Publication:1706170
DOI10.1016/j.ic.2017.08.011zbMath1390.68436arXiv1709.01849OpenAlexW2753745283MaRDI QIDQ1706170
Alberto Molinari, Adriano Peron, Angelo Montanari
Publication date: 21 March 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.01849
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (5)
Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ Unnamed Item ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Checking interval properties of computations
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Intervals and tenses
- Duration calculus. A formal approach to real-time systems.
- The dark side of interval temporal logic: marking the undecidability border
- A practical approach to model checking duration calculus using Presburger arithmetic
- Expressiveness and completeness of an interval tense logic
- Temporal prepositions and their logic
- Tableaux for Logics of Subinterval Structures over Dense Orderings
- mcmas: A Model Checker for Multi-agent Systems
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
- A Modal Logic for Chopping Intervals
- A propositional modal logic of time intervals
- NP trees and Carnap's modal logic
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
- Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
- The Undecidability of the Logic of Subintervals
- On Context-Free Languages
- A Road Map of Interval Temporal Logics and Duration Calculi
This page was built for publication: Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives