Differential Logic and Dynamic Systems