Untangled: A Complete Dynamic Topological Logic

David Fernández-Duque, Yoàv Montacute

Dynamic topological logic ($\mathbf{DTL}$) is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fernández-Duque that the natural set of axi…