A system of tense logic for transitive temporal structures with root and sink - Batini, Carlo (1975)