Varieties of Temporal Logic