{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:53Z","timestamp":1740108173581,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1007\/s00153-010-0185-8","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T10:02:05Z","timestamp":1270029725000},"page":"519-527","source":"Crossref","is-referenced-by-count":2,"title":["The modal logic of continuous functions on the rational numbers"],"prefix":"10.1007","volume":"49","author":[{"given":"Philip","family":"Kremer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,4,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Artemov, S., Davoren, J., Nerode, A.: Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05, Cornell University, June 1997. http:\/\/web.cs.gc.cuny.edu\/~sartemov\/publications\/CDC1997-00650716.pdf (1997)","key":"185_CR1","DOI":"10.21236\/ADA344355"},{"doi-asserted-by":"crossref","unstructured":"Davoren, J.: Modal logics for continuous dynamics. PhD thesis, Cornell University (1998)","key":"185_CR2","DOI":"10.21236\/ADA344316"},{"doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez Duque, D.: Dynamic topological completeness for $${\\mathbb{R}^2}$$ . Log. J. IGPL 15, 77\u2013107. http:\/\/jigpal.oxfordjournals.org\/cgi\/content\/abstract\/15\/1\/77?ck=nck (2007)","key":"185_CR3","DOI":"10.1093\/jigpal\/jzl036"},{"doi-asserted-by":"crossref","unstructured":"Kremer, P.: The modal logic of continuous functions on Cantor space. Arch. Math. Log. 45, 1021\u20131032. http:\/\/www.springerlink.com\/content\/j4t381201247t561\/ (2006)","key":"185_CR4","DOI":"10.1007\/s00153-006-0024-0"},{"doi-asserted-by":"crossref","unstructured":"Kremer, P., Mints, G.: Dynamic topological logic. Ann. Pure Appl. Log. 131, 133\u2013158. http:\/\/dx.doi.org\/10.1016\/j.apal.2004.06.004 (2005)","key":"185_CR5","DOI":"10.1016\/j.apal.2004.06.004"},{"key":"185_CR6","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/978-1-4020-5587-4_10","volume-title":"Handbook of Spatial Logics","author":"P. Kremer","year":"2007","unstructured":"Kremer P., Mints G.: Dynamic topological logic. In: Aiello, M., Pratt-Harman, I., Benthem, J. (eds) Handbook of Spatial Logics, pp. 565\u2013606. Springer, Berlin (2007)"},{"doi-asserted-by":"crossref","unstructured":"McKinsey, J.C.C.: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology. J. Symbolic Log. 6, 117\u2013134. http:\/\/links.jstor.org\/sici?sici=0022-4812%28194112%296%3A4%3C117%3AASOTDP%3E2.0.CO%3B2-E (1941)","key":"185_CR7","DOI":"10.2307\/2267105"},{"doi-asserted-by":"crossref","unstructured":"McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45, 141\u2013191. http:\/\/links.jstor.org\/sici?sici=0003-486X%28194401%292%3A45%3A1%3C141%3ATAOT%3E2.0.CO%3B2-S (1944)","key":"185_CR8","DOI":"10.2307\/1969080"},{"doi-asserted-by":"crossref","unstructured":"Mints G., Zhang, T.: Propositional logic of continuous transformations in Cantor space. Arch. Math. Log. 44, 783\u2013799. http:\/\/www.springerlink.com\/content\/w020405973p62434\/ (2005)","key":"185_CR9","DOI":"10.1007\/s00153-005-0285-z"},{"unstructured":"Slavnov, S.: Two counterexamples in the logic of dynamic topological systems. Technical Report TR-2003015, Cornell University (2003)","key":"185_CR10"},{"doi-asserted-by":"crossref","unstructured":"Van Benthem, J., Bezhanishvili, G., Ten Cate, B., Sarenac, D.: Multimodal logics of products of topologies. Studia Logica 84, 369\u2013392. http:\/\/www.springerlink.com\/content\/247h10x473883235\/ A preprint of this paper, under the title \u201cModal logics for products of topologies\u201d, can be found here: http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2004-15.text.pdf (2006)","key":"185_CR11","DOI":"10.1007\/s11225-006-9013-x"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0185-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0185-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0185-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:31:24Z","timestamp":1558978284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0185-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,1]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0185-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2010,4,1]]}}}