Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

The color and distribution of illuminants can significantly alter the appearance of a scene.
The goal of color constancy (CC) is to remove the color bias introduced by the illuminants …

We discuss a family of modal logics for reasoning about relational structures of intervals over
(usually) linear orders, with modal operators associated with the various binary relations …

Abstract Model checking is a powerful method widely explored in formal verification. Given a
model of a system, eg, a Kripke structure, and a formula specifying its expected behaviour …

Abstract The Halpern–Shoham logic is a modal logic of time intervals. Some effort has been
put in last ten years to classify fragments of this beautiful logic with respect to decidability of …

Interval temporal logics provide a natural framework for temporal reasoning about interval
structures over linearly ordered domains, where intervals are taken as the primitive …

Interval temporal logics are based on temporal structures where time intervals, rather than
time instants, are the primitive ontological entities. They employ modal operators …

This paper surveys main and recent studies on temporal logics in a broad sense by
presenting various logic systems, dealing with various time structures, and discussing …

Unlike the Moon, the dark side of interval temporal logics is the one we usually see: their
ubiquitous undecidability. Identifying minimal undecidable interval logics is thus a natural …

In recent years, model checking with interval temporal logics is emerging as a viable
alternative to model checking with standard point-based temporal logics, such as LTL, CTL …