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 recent explosion in the amount of spatial data calls for specialized systems to handle
big spatial data. In this paper, we discuss the main features and components that needs to …

In this paper, we investigate the expressiveness of the variety of propositional interval
neighborhood logics (PNL), we establish their decidability on linearly ordered domains and …

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 …

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

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

In this article, we develop tableau-based decision procedures for the logics of subinterval
structures over dense linear orderings. In particular, we consider the two difficult cases: the …

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

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 this paper, we focus our attention on the interval temporal logic of the Allen's relations"
meets"," begins", and" begun by"(ABBar for short), interpreted over natural numbers. We first …