Interval vs. Point Temporal Logic Model Checking

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

Once and for all

(2011) Orna Kupferman et al.   JOURNAL OF COMPUTER AND SYSTEM SCIENCES

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