Differential Logic and Dynamic Systems 3.0