Wave Dynamic Differential Logic