(1)
Fernández-Duque, D.; Montacute, Y. Untangled: A Complete Dynamic Topological Logic. AAAI 2023, 37, 6355-6362.