Transitive Temporal Logic (K4t)