David Fernández Duque. A sound and complete axiomatization for Dynamic Topological Logic. Journal of Symbolic Logic, 77(3):947-969, 2012. [doi]
@article{Duque12a, title = {A sound and complete axiomatization for Dynamic Topological Logic}, author = {David Fernández Duque}, year = {2012}, url = {http://projecteuclid.org/euclid.jsl/1344862169}, researchr = {https://researchr.org/publication/Duque12a}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {77}, number = {3}, pages = {947-969}, }