Time Structures

This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.