Logics of Dynamical Systems