{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,9]],"date-time":"2022-09-09T07:50:45Z","timestamp":1662709845439},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,11,16]],"date-time":"2010-11-16T00:00:00Z","timestamp":1289865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10992-010-9160-4","type":"journal-article","created":{"date-parts":[[2010,11,15]],"date-time":"2010-11-15T01:54:25Z","timestamp":1289786065000},"page":"767-804","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Topological Logic Interpreted over Minimal Systems"],"prefix":"10.1007","volume":"40","author":[{"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,16]]},"reference":[{"key":"9160_CR1","unstructured":"Aiello, M., Pratt-Harman, I., & van Benthem, J. (2007). Handbook of spatial logics (1st ed.). Springer."},{"key":"9160_CR2","unstructured":"Akin, E. (1993). The general topology of dynamical systems. Graduate Studies in Mathematics, American Mathematical Society."},{"key":"9160_CR3","first-page":"501","volume":"2","author":"P Aleksandroff","year":"1937","unstructured":"Aleksandroff, P. (1937). Diskrete r\u00e4ume. Matematicheskii Sbornik, 2, 501\u2013518.","journal-title":"Matematicheskii Sbornik"},{"key":"9160_CR4","doi-asserted-by":"crossref","unstructured":"Artemov, S. N., Davoren, J. M., & Nerode, A. (1997). Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05.","DOI":"10.21236\/ADA344355"},{"issue":"1","key":"9160_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1093\/jigpal\/jzl036","volume":"15","author":"D Fern\u00e1ndez-Duque","year":"2007","unstructured":"Fern\u00e1ndez-Duque, D. (2007). Dynamic topological completeness for $\\mathbb{R}^2$ . Logic Journal of the IGPL, 15(1), 77\u2013107. doi: 10.1093\/jigpal\/jzl036 .","journal-title":"Logic Journal of the IGPL"},{"issue":"2\u20133","key":"9160_CR6","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/j.apal.2008.09.015","volume":"157","author":"D Fern\u00e1ndez-Duque","year":"2009","unstructured":"Fern\u00e1ndez-Duque, D. (2009). Non-deterministic semantics for dynamic topological logic. Annals of Pure and Applied Logic, 157(2\u20133), 110\u2013121. Kurt G\u00f6del Centenary Research Prize Fellowships.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1\u20133","key":"9160_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.apal.2006.01.001","volume":"142","author":"D Gabelaia","year":"2006","unstructured":"Gabelaia, D., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2006). Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic, 142(1\u20133), 245\u2013268.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9160_CR8","first-page":"299","volume-title":"Advances in modal logic (Vol. 6)","author":"B Konev","year":"2006","unstructured":"Konev, B., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2006). Dynamic topological logics over spaces with continuous functions. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Advances in modal logic (Vol. 6, pp. 299\u2013318). London: College Publications."},{"key":"9160_CR9","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s11225-006-9005-x","volume":"84","author":"B Konev","year":"2006","unstructured":"Konev, B., Kontchakov, R., Wolter, F., Zakharyaschev, M. (2006). On dynamic topological and metric logics. Studia Logica, 84, 129\u2013160.","journal-title":"Studia Logica"},{"key":"9160_CR10","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1007\/s00153-006-0024-0","volume":"45","author":"P Kremer","year":"2006","unstructured":"Kremer, P. (2006). The modal logic of continuous functions on Cantor space. Archive for Mathematical Logic, 45, 1021\u20131032.","journal-title":"Archive for Mathematical Logic"},{"key":"9160_CR11","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/j.apal.2009.01.015","volume":"160","author":"P Kremer","year":"2009","unstructured":"Kremer, P. (2009). Dynamic topological $\\mathcal S$ 5. Annals of Pure and Applied Logic, 160, 96\u2013116.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9160_CR12","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/s00153-010-0185-8","volume":"49","author":"P Kremer","year":"2010","unstructured":"Kremer, P. (2010). The modal logic of continuous functions on the rational numbers. Archive for Mathematical Logic, 49(4), 519\u2013527.","journal-title":"Archive for Mathematical Logic"},{"key":"9160_CR13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.apal.2004.06.004","volume":"131","author":"P Kremer","year":"2005","unstructured":"Kremer, P., & Mints, G. (2005). Dynamic topological logic. Annals of Pure and Applied Logic, 131, 133\u2013158.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9160_CR14","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1007\/s00153-005-0285-z","volume":"44","author":"G Mints","year":"2005","unstructured":"Mints, G.& Zhang, T. (2005). Propositional logic of continuous transformations in Cantor space. Archive for Mathematical Logic, 44, 783\u2013799.","journal-title":"Archive for Mathematical Logic"},{"key":"9160_CR15","unstructured":"Slavnov, S. (2003). Two counterexamples in the logic of dynamic topological systems. Technical Report TR-2003015, Cornell University."},{"key":"9160_CR16","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","volume":"31","author":"A Tarski","year":"1938","unstructured":"Tarski, A. (1938). Der aussagenkalk\u00fcl und die topologie. Fundamenta Mathematica, 31, 103\u2013134.","journal-title":"Fundamenta Mathematica"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9160-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-010-9160-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9160-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T04:40:34Z","timestamp":1559796034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-010-9160-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,16]]},"references-count":16,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9160"],"URL":"https:\/\/doi.org\/10.1007\/s10992-010-9160-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,16]]}}}