On Dynamic Topological Logic of the Real Line.

Maria Nogin Aleksey Nogin On Dynamic Topological Logic of the Real Line. 1029-1045 2008 18 J. Log. Comput. 6 http://dx.doi.org/10.1093/logcom/exn034 db/journals/logcom/logcom18.html#NoginN08