David Fernández Duque. Dynamic topological logic of metric spaces. Journal of Symbolic Logic, 77(1):308-328, 2012. [doi]
@article{Duque12, title = {Dynamic topological logic of metric spaces}, author = {David Fernández Duque}, year = {2012}, url = {http://projecteuclid.org/euclid.jsl/1327068705}, researchr = {https://researchr.org/publication/Duque12}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {77}, number = {1}, pages = {308-328}, }