{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,16]],"date-time":"2023-03-16T10:56:21Z","timestamp":1678964181884},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2010,10,31]],"date-time":"2010-10-31T00:00:00Z","timestamp":1288483200000},"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":[[2011,5]]},"DOI":"10.1007\/s00153-010-0214-7","type":"journal-article","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T16:13:07Z","timestamp":1288714387000},"page":"287-317","source":"Crossref","is-referenced-by-count":3,"title":["Connected modal logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gabelaia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,31]]},"reference":[{"issue":"6","key":"214_CR1","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","volume":"13","author":"M. Aiello","year":"2003","unstructured":"Aiello M., van Benthem J., Bezhanishvili G.: Reasoning about space: the modal way. J. Logic Comput. 13(6), 889\u2013920 (2003)","journal-title":"J. Logic Comput."},{"issue":"1\u20133","key":"214_CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/j.apal.2004.06.003","volume":"131","author":"G. Bezhanishvili","year":"2005","unstructured":"Bezhanishvili G., Gehrke M.: Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Logic 131(1\u20133), 287\u2013301 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"214_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-007-2032-2","volume":"58","author":"G. Bezhanishvili","year":"2008","unstructured":"Bezhanishvili G., Mines R., Morandi P.J.: Topo-canonical completions of closure algebras and Heyting algebras. Algebra Universalis 58(1), 1\u201334 (2008)","journal-title":"Algebra Universalis"},{"key":"214_CR4","unstructured":"Bezhanishvili, G., Morandi, P.J.: One-point order-compactifications. Houston J. Math. (2011). To appear"},{"key":"214_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal logic. Cambridge University Press, Cambridge (2001)"},{"key":"214_CR6","volume-title":"Modal logic, volume 35 of Oxford Logic Guides","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M.: Modal logic, volume 35 of Oxford Logic Guides. The Clarendon Press Oxford University Press, New York (1997)"},{"key":"214_CR7","volume-title":"General topology","author":"R. Engelking","year":"1977","unstructured":"Engelking R.: General topology. PWN\u2014Polish Scientific Publishers, Warsaw (1977)"},{"key":"214_CR8","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia L.: Topological Kripke models. Soviet Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Soviet Math. Dokl."},{"key":"214_CR9","unstructured":"Esakia, L.: On the theory of modal and superintuitionistic systems (Russian). In: Logical inference (Moscow, 1974), pp. 147\u2013172. \u201cNauka\u201d, Moscow (1979)"},{"key":"214_CR10","unstructured":"Esakia L.: Heyting Algebras I. Duality theory (Russian). \u201cMetsniereba\u201d, Tbilisi (1985)"},{"key":"214_CR11","unstructured":"Esakia, L.: McKinsey\u2019s modal system half a century later (Russian). In: Methodology and philosophy of science, vol. II, pp. 95\u201398, Moscow-Obninsk. RGNF Press (1995)"},{"issue":"1","key":"214_CR12","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1111\/j.1755-2567.1977.tb00779.x","volume":"43","author":"L. Esakia","year":"1977","unstructured":"Esakia L., Meskhi V.: Five critical modal systems. Theoria 43(1), 52\u201360 (1977)","journal-title":"Theoria"},{"issue":"2","key":"214_CR13","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","volume":"40","author":"K. Fine","year":"1974","unstructured":"Fine K.: An ascending chain of S4 logics. Theoria 40(2), 110\u2013116 (1974)","journal-title":"Theoria"},{"key":"214_CR14","first-page":"1293","volume":"151","author":"V. Jankov","year":"1963","unstructured":"Jankov V.: On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures (Russian). Dokl. Akad. Nauk SSSR 151, 1293\u20131294 (1963)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"214_CR15","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson B., Tarski A.: Boolean algebras with operators. I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"I. Am. J. Math."},{"key":"214_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. McKinsey","year":"1944","unstructured":"McKinsey J., Tarski A.: The algebra of topology. Ann. Math. 45, 141\u2013191 (1944)","journal-title":"Ann. Math."},{"issue":"3-4","key":"214_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02021134","volume":"20","author":"W. Rautenberg","year":"1980","unstructured":"Rautenberg W.: Splitting lattices of logics. Arch. Math. Logik Grundlag. 20(3-4), 155\u2013159 (1980)","journal-title":"Arch. Math. Logik Grundlag."},{"issue":"2\u20133","key":"214_CR18","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/11663081.1999.10510972","volume":"9","author":"V. Shehtman","year":"1999","unstructured":"Shehtman V.: Everywhere\u201d and \u201chere\u201d. J. Appl. Non-Classic. Logics Issue Memory George Gargov 9(2\u20133), 369\u2013379 (1999)","journal-title":"J. Appl. Non-Classic. Logics Issue Memory George Gargov"},{"key":"214_CR19","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Handbook of spatial logics, pp. 217\u2013298. Springer, Dordrecht (2007)","DOI":"10.1007\/978-1-4020-5587-4_5"},{"issue":"3","key":"214_CR20","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1023\/B:STUD.0000009564.00287.16","volume":"75","author":"J. Benthem van","year":"2003","unstructured":"van Benthem J., Bezhanishvili G., Gehrke M.: Euclidean hierarchy in modal logic. Studia Logica 75(3), 327\u2013344 (2003)","journal-title":"Studia Logica"},{"issue":"1","key":"214_CR21","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0168-0072(96)00049-8","volume":"86","author":"F. Wolter","year":"1997","unstructured":"Wolter F.: The structure of lattices of subframe logics. Ann. Pure Appl. Logic 86(1), 47\u2013100 (1997)","journal-title":"Ann. Pure Appl. Logic"},{"key":"214_CR22","doi-asserted-by":"crossref","unstructured":"Zakharyaschev, M., Wolter, F., Chagrov, A.: Advanced modal logic. In: Handbook of philosophical logic, vol. 3, pp. 83\u2013266. Kluwer Acad. Publ., Dordrecht (2001)","DOI":"10.1007\/978-94-017-0454-0_2"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0214-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0214-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0214-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:25:53Z","timestamp":1559784353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0214-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,31]]},"references-count":22,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["214"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0214-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,31]]}}}