A formal deduction system for the logical analysis of chronological data (such as before, after, and during relationships). The development of the system was motivated by the requirements of current data-retrieval projects, one of which is Rand's Cy...
