Complexity analysis of a unifying algorithm for model checking interval temporal logic

Model checking interval temporal logics with regular expressions

(2019) Laura Bozzelli et al.   INFORMATION AND COMPUTATION

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives

(2018) Alberto Molinari et al.   INFORMATION AND COMPUTATION

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

(2018) Laura Bozzelli et al.   INFORMATION AND COMPUTATION

Interval vs. Point Temporal Logic Model Checking

(2018) Laura Bozzelli et al.   ACM Transactions on Computational Logic

Checking interval properties of computations

(2015) Alberto Molinari et al.   ACTA INFORMATICA

A decidable weakening of Compass Logic based on cone-shaped cardinal directions

(2015) Angelo Montanari et al.   Logical Methods in Computer Science

The dark side of interval temporal logic: marking the undecidability border

(2013) Davide Bresolin et al.   ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

(2009) Davide Bresolin et al.   ANNALS OF PURE AND APPLIED LOGIC

Tableaux for Logics of Subinterval Structures over Dense Orderings

(2008) D. Bresolin et al.   JOURNAL OF LOGIC AND COMPUTATION