Lecture Notes on Differential & Temporal Logics