Modal Varieties of Temporal Logic