Philip Kremer, Grigori Mints. Dynamic topological logic. Annals of Pure and Applied Logic, 131(1-3):133-158, 2005. [doi]
@article{KremerM05, title = {Dynamic topological logic}, author = {Philip Kremer and Grigori Mints}, year = {2005}, doi = {10.1016/j.apal.2004.06.004}, url = {http://dx.doi.org/10.1016/j.apal.2004.06.004}, tags = {logic}, researchr = {https://researchr.org/publication/KremerM05}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {131}, number = {1-3}, pages = {133-158}, }