Text this: Dynamic Cantor Derivative Logic