Differential Logic And Dynamic Systems