Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0