Montacute, Yoàv

2 publications

AAAI 2024 Dynamic Tangled Derivative Logic of Metric Spaces David Fernández-Duque, Yoàv Montacute

AAAI 2023 Untangled: A Complete Dynamic Topological Logic David Fernández-Duque, Yoàv Montacute