The pebble-relation comonad in finite model theory Y Montacute, N Shah Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 18 | 2022 |
Dynamic cantor derivative logic D Fernández-Duque, Y Montacute Logical Methods in Computer Science 19, 2023 | 4 | 2023 |
Untangled: A Complete Dynamic Topological Logic D Fernández-Duque, Y Montacute Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6355-6362, 2023 | 1 | 2023 |
Linear Arboreal Categories S Abramsky, Y Montacute, N Shah arXiv preprint arXiv:2301.10088, 2023 | 1 | 2023 |
Dynamic Tangled Derivative Logic of Metric Spaces D Fernández-Duque, Y Montacute Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10509 …, 2024 | | 2024 |
Cantor Derivative Logic in Topological Dynamics (short paper) Y Montacute 14th Conference on Advances in Modal Logic, AiML 2022, 2022 | | 2022 |
Dynamic Cantor Derivative Logic D Fernández-Duque, Y Montacute 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 216, 19:1 …, 2022 | | 2022 |