Temporal Logics of Evolvable Systems.