ABSTRACT
In this chapter we describe time structures in first-order predicate calculus. We assume that time is composed of points and intervals. We discuss and compare known solutions. As it turns out, a representation of time composed of points is easier than composed of intervals—there is a smaller set of basic relations linking objects. Because of that we pay more attention to interval structures. We mainly focus on three solutions: classical (following van Benthem), Allen & Hayes’ and Tsang’s.
