Ed Zalta (ed.), Stanford Encyclopedia of Philosophy - PhilPapers Sign in | Create an account
PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax Advanced …

Time, as a phenomenon, has been in the focus of scientific thought from ancient times. It
continues to be an important subject of research in many disciplines due to its importance as …

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 …

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 …

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 …

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 …