Time Structures: Formal Description and Algorithmic Representation

Description of time structures in the first order predicate calculus.- Modal temporal logics and description of time structures.- Temporal reasoning algorithms.- Formalization of the constraint propagation algorithm.- Translations of Allen's calculi into modal temporal logic.