A formal system for the logical analysis of temporal relationships between intervals of time | lit.salon