Dynamic Tangled Derivative Logic of Metric Spaces
Authors: David Fernández-Duque, Yoàv Montacute
AAAI 2024 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We show that the resulting logics are decidable and have a natural axiomatisation. Moreover, we prove that these logics are complete for interpretations on the Cantor space, the rational numbers, and subspaces thereof. |
| Researcher Affiliation | Academia | 1University of Barcelona 2University of Cambridge |
| Pseudocode | No | The paper does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide concrete access to source code for the methodology described. |
| Open Datasets | No | The paper is theoretical and does not discuss datasets for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not provide specific dataset split information. |
| Hardware Specification | No | The paper is theoretical and does not provide specific hardware details for running experiments. |
| Software Dependencies | No | The paper is theoretical and does not provide specific ancillary software details with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not contain specific experimental setup details. |