{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T06:53:22Z","timestamp":1672383202040},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2005,6,6]],"date-time":"2005-06-06T00:00:00Z","timestamp":1118016000000},"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":[[2005,8]]},"DOI":"10.1007\/s00153-005-0285-z","type":"journal-article","created":{"date-parts":[[2005,6,6]],"date-time":"2005-06-06T15:11:17Z","timestamp":1118070677000},"page":"783-799","source":"Crossref","is-referenced-by-count":7,"title":["Propositional logic of continuous transformations in Cantor space"],"prefix":"10.1007","volume":"44","author":[{"given":"Grigori","family":"Mints","sequence":"first","affiliation":[]},{"given":"Ting","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"285_CR1","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 (available at http:\/\/www.cs.gc.cuny.edu\/~sartemov\/publications\/MSI97-05.ps)","DOI":"10.21236\/ADA344355"},{"key":"285_CR2","doi-asserted-by":"crossref","unstructured":"Davoren, J.M.: Modal logics for continuous dynamics. Ph.D. Thesis, Cornell University, 1998","DOI":"10.21236\/ADA344316"},{"key":"285_CR3","first-page":"79","volume":"24","author":"Mints","year":"1999","unstructured":"Mints, G.: A completeness proof for propositional S4 in Cantor space. In: Orlowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 79\u201388 (1999)","journal-title":"In: Orlowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput."},{"key":"285_CR4","first-page":"371","volume":"3","author":"Mints","year":"1997","unstructured":"Mints, G., Kremer, P.: Dynamic topological logic. Bulletin of Symbolic Logic 3, 371\u2013372 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"key":"285_CR5","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.apal.2004.06.004","volume":"131","author":"Kremer","year":"2005","unstructured":"Kremer, P., Mints, G.: Dynamic topological logic. Annals of Pure and Applied Logic 131, 133\u2013158 (2005)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0285-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-005-0285-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0285-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T15:19:29Z","timestamp":1586272769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-005-0285-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,6]]},"references-count":5,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["285"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0285-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6,6]]}}}