Fernández-Duque, D.; Montacute, Y. Dynamic Tangled Derivative Logic of Metric Spaces. AAAI 2024, 38, 10509-10516.