{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:50:09Z","timestamp":1649170209985},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T00:00:00Z","timestamp":1269388800000},"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":[[2010,4]]},"DOI":"10.1007\/s11225-010-9244-8","type":"journal-article","created":{"date-parts":[[2010,3,23]],"date-time":"2010-03-23T06:29:17Z","timestamp":1269325757000},"page":"433-441","source":"Crossref","is-referenced-by-count":0,"title":["A Canonical Topological Model for Extensions of K4"],"prefix":"10.1007","volume":"94","author":[{"given":"Christopher","family":"Steinsvold","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,24]]},"reference":[{"key":"9244_CR1","unstructured":"Aiello, M., and I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook on logics of space, Kluwer Academic Publishers, 2007."},{"key":"9244_CR2","volume-title":"Topology","author":"J. Dugundji","year":"1965","unstructured":"Dugundji J.: Topology. Prentice-Hall, Englewood Cliffs, NJ (1965)"},{"key":"9244_CR3","unstructured":"Esakia, L., \u2018Diagonal construction, L\u00f6b\u2019s formula and Cantor\u2019s scattered spaces\u2019, Logical And Semantical Investigations, (1981), 128\u2013143. Tbilisi, Academy Press. In Russian."},{"key":"9244_CR4","unstructured":"Esakia, L., \u2018Weak transitivity - a restitution\u2019, Logical Investigations, 8 (2001), 244\u2013 255. Moscow, Nauka, In Russian."},{"key":"9244_CR5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-005-4648-6","volume":"81","author":"G. Bezhanishvili","year":"2005","unstructured":"Bezhanishvili G., Gabelaia D., Esakia L.: \u2018Some results on modal axiomatization and definability for topological spaces\u2019. Studia Logica 81, 325\u2013355 (2005)","journal-title":"Studia Logica"},{"key":"9244_CR6","volume-title":"Logics of Time and Computation","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt R.: Logics of Time and Computation, 2nd edn. CSLI, Stanford (1992)","edition":"2"},{"key":"9244_CR7","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction To Modal Logic","author":"G.E. Hughes","year":"1996","unstructured":"Hughes G.E., Creswell M.J.: A New Introduction To Modal Logic. Routledge, New York (1996)"},{"key":"9244_CR8","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., Tarski A.: \u2018The Algebra Of Topology\u2019. Annals of Mathematics 45, 141\u2013191 (1944)","journal-title":"Annals of Mathematics"},{"key":"9244_CR9","volume-title":"An Introduction To Modal Logic","author":"J. Lemmon","year":"1977","unstructured":"Lemmon J., Scott D.: An Introduction To Modal Logic. Blackwell, Oxford (1977)"},{"key":"9244_CR10","unstructured":"Shehtman, V., \u2018Derived Sets in Euclidean Spaces and Modal Logic\u2019, Pre-print X-90- 05, University of Amsterdam, 1990."},{"issue":"1","key":"9244_CR11","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s10992-007-9055-1","volume":"37","author":"C. Steinsvold","year":"2008","unstructured":"Steinsvold C.: \u2018A grim semantics for logics of belief\u2019. The Journal of Philosophical Logic 37(1), 45\u201356 (2008)","journal-title":"The Journal of Philosophical Logic"},{"key":"9244_CR12","unstructured":"Steinsvold, C., Topological Models of Belief Logics, Dissertation, City University of New York Graduate School and University Center, New York, NY, 2007."},{"key":"9244_CR13","unstructured":"Steinsvold, C., Towards a topology of Knowledge and Belief, Talk given at the Workshop on Reasoning about Space during the NASSLI conference, Bloomington Indiana, 2003."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9244-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9244-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9244-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:46Z","timestamp":1559384686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9244-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,24]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9244"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9244-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,24]]}}}