{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:38:08Z","timestamp":1777538288454,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,10,20]],"date-time":"2006-10-20T00:00:00Z","timestamp":1161302400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,10,30]]},"DOI":"10.1007\/s11225-006-9005-x","type":"journal-article","created":{"date-parts":[[2006,10,19]],"date-time":"2006-10-19T07:55:18Z","timestamp":1161244518000},"page":"129-160","source":"Crossref","is-referenced-by-count":13,"title":["On Dynamic Topological and Metric Logics"],"prefix":"10.1007","volume":"84","author":[{"given":"B.","family":"Konev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Kontchakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Zakharyaschev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"issue":"44","key":"9005_CR1","first-page":"501","volume":"2","author":"P. S. Alexandroff","year":"1937","unstructured":"Alexandroff, P. S., \u2018Diskrete R\u00e4ume\u2019, Matematicheskii Sbornik, 2 (44):501\u2013518, 1937.","journal-title":"Matematicheskii Sbornik"},{"key":"9005_CR2","doi-asserted-by":"crossref","unstructured":"Artemov, S., J. Davoren, and A. Nerode, Modal logics and topological semantics for hybrid systems, Technical Report MSI 97-05, Cornell University, 1997.","DOI":"10.21236\/ADA344355"},{"key":"9005_CR3","volume-title":"General Topology, Part 1","author":"N. Bourbaki","year":"1966","unstructured":"Bourbaki, N., General Topology, Part 1, Hermann, Paris and Addison-Wesley, 1966."},{"key":"9005_CR4","unstructured":"Brown, J. R., Ergodic Theory and Topological Dynamics, Academic Press, 1976."},{"key":"9005_CR5","unstructured":"B\u00fcchi, J. R., \u2018On a decision method in restricted second order arithmetic\u2019, in Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress, Stanford University Press, 1962, pp. 1\u201311."},{"key":"9005_CR6","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","author":"J. Davoren","year":"2000","unstructured":"Davoren, J., and A. Nerode, \u2018Logics for hybrid systems\u2019, Proceedings of the IEEE, 88:985\u20131010, 2000.","journal-title":"Proceedings of the IEEE"},{"key":"9005_CR7","unstructured":"Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, vol. 148 of Studies in Logic, Elsevier, 2003."},{"key":"9005_CR8","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., A. Kurucz, F. Wolter, and M. Zakharyaschev, \u2018Non-primitive recursive decidability of products of modal logics with expanding domains\u2019, Annals of Pure and Applied Logic, 142:245\u2013268, 2006.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9005_CR9","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1613\/jair.1537","volume":"23","author":"D. Gabelaia","year":"2005","unstructured":"Gabelaia, D., R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev, \u2018Combining spatial and temporal logics: expressiveness vs. complexity\u2019, Journal of Artificial Intelligence Research, 23:167\u2013243, 2005.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9005_CR10","doi-asserted-by":"crossref","unstructured":"Hopcroft, J., R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison\u2013Wesley, 2001.","DOI":"10.1145\/568438.568455"},{"key":"9005_CR11","doi-asserted-by":"crossref","unstructured":"Katok, A., and B. Hasselblatt, Introduction to Modern Theory of Dynamical Systems, vol. 54 of Encyclopedia of Mathematics and its Applications, Elsevier, 1995.","DOI":"10.1017\/CBO9780511809187"},{"key":"9005_CR12","doi-asserted-by":"crossref","unstructured":"B. Konev, F. Wolter, and M. Zakharyaschev, \u2018Temporal logics over transitive states\u2019, in Procceedings ofthe 20th International Conference on Automated Deduction CADE-20, vol. 3632 of LNAI, 2005, pp. 182\u2013203.","DOI":"10.1007\/11532231_14"},{"key":"9005_CR13","first-page":"375","volume":"3","author":"P. Kremer","year":"1997","unstructured":"Kremer, P., \u2018Temporal logic over S4: an axiomatizable fragment of dynamic topological logic\u2019, Bulletin of Symbolic Logic, 3:375\u2013376, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9005_CR14","first-page":"371","volume":"3","author":"P. Kremer","year":"1997","unstructured":"Kremer, P., and G. Mints, \u2018Dynamic topological logic\u2019, Bulletin of Symbolic Logic, 3:371\u2013372, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"issue":"131","key":"9005_CR15","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.apal.2004.06.004","volume":"1-3","author":"P. Kremer","year":"2005","unstructured":"Kremer, P., and G. Mints, \u2018Dynamic topological logic\u2019, Annals of Pure and Applied Logic, 1-3 (131):133\u2013158, 2005.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9005_CR16","first-page":"376","volume":"3","author":"P. Kremer","year":"1997","unstructured":"Kremer, P., G. Mints, and V. Rybakov, \u2018Axiomatizing the next-interior fragment of dynamic topological logic\u2019, Bulletin of Symbolic Logic, 3:376\u2013377, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9005_CR17","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/635499.635504","volume":"4","author":"O. Kutz","year":"2003","unstructured":"Kutz, O., H. Sturm, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, \u2018Logics of metric spaces\u2019, ACM Transactions on Computational Logic, 4:260\u2013294, 2003.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9005_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J.C.C. McKinsey","year":"1944","unstructured":"McKinsey, J.C.C., and A. Tarski, \u2018The algebra of topology\u2019, Annals of Mathematics, 45:141\u2013191, 1944.","journal-title":"Annals of Mathematics"},{"key":"9005_CR19","doi-asserted-by":"crossref","unstructured":"Moor, T., and J. Davoren, \u2018Robust controller synthesis for hybrid systems using modal logics\u2019, in M.D. Di Benedetto and A. Sangiovanni-Vincentelli (eds.), Hybrid Systems: Computation and Control (HSCC'01), vol. 2034 of LNCS. Springer, 2001, pp. 433\u2013446.","DOI":"10.1007\/3-540-45351-2_35"},{"key":"9005_CR20","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"E. Post","year":"1946","unstructured":"Post, E., \u2018A variant of a recursively unsolvable problem\u2019, Bulletin of the AMS, 52:264\u2013268, 1946.","journal-title":"Bulletin of the AMS"},{"key":"9005_CR21","unstructured":"Slavnov, S., Two counterexamples in the logic of dynamic topological systems, Technical Report TR\u20132003015, Cornell University, 2003."},{"key":"9005_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5775-2","volume-title":"An Introduction to Ergodic Theory","author":"P. Walters","year":"1982","unstructured":"Walters, P., An Introduction to Ergodic Theory, Springer-Verlag, Berlin, 1982."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9005-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-9005-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9005-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:40Z","timestamp":1559384680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-9005-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,20]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,10,30]]}},"alternative-id":["9005"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-9005-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10,20]]}}}