Pspace-completeness of the temporal logic of sub-intervals and suffixes

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

(2020) 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

Which fragments of the interval temporal logic HS are tractable in model checking?

(2018) Laura Bozzelli et al.   THEORETICAL COMPUTER SCIENCE

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

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