Dynamic Tangled Derivative Logic of Metric Spaces

Fernández-Duque and Montacute. "Dynamic Tangled Derivative Logic of Metric Spaces." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I9.28920

[Fernández-Duque and Montacute. "Dynamic Tangled Derivative Logic of Metric Spaces." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/fernandezduque2024aaai-dynamic/) doi:10.1609/AAAI.V38I9.28920

@inproceedings{fernandezduque2024aaai-dynamic,
  title     = {{Dynamic Tangled Derivative Logic of Metric Spaces}},
  author    = {Fernández-Duque, David and Montacute, Yoàv},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {10509-10516},
  doi       = {10.1609/AAAI.V38I9.28920},
  url       = {https://mlanthology.org/aaai/2024/fernandezduque2024aaai-dynamic/}
}