Dynamic Cantor Derivative Logic