After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

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 …

We survey main developments, results, and open problems on interval temporal logics and
duration calculi. We present various formal systems studied in the literature and discuss their …

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 …

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 …

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 …

Publisher Summary Temporal logic is one of the classic branches of modal logic. It is
remarkably fruitful in the issues it has raised, the results it has given rise to, and as an …

In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of
intervals (HS) that features four modal operators corresponding to the relations “meets”,“met …