{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T07:49:22Z","timestamp":1773820162329,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"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":[[2005,12]]},"DOI":"10.1007\/s11225-005-4648-6","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T13:28:32Z","timestamp":1132752512000},"page":"325-355","source":"Crossref","is-referenced-by-count":45,"title":["Some Results on Modal Axiomatization and Definability for Topological Spaces"],"prefix":"10.1007","volume":"81","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leo","family":"Esakia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gabelaia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4648_CR1","unstructured":"ABASHIDZE, M., Algebraic Analysis of the G\u00f6del-L\u00f6b Modal System, PhD Thesis, Tbilisi State University, 1987. In Russian."},{"key":"4648_CR2","unstructured":"ABASHIDZE, M., and L. EsAKIA, \u2018Cantor's scattered spaces and the provability logic\u2019, Baku International Topological Conference. Volume of Abstracts. Part I, p.3, 1987. In Russian."},{"issue":"3\u20134","key":"4648_CR3","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3166\/jancl.12.319-363","volume":"12","author":"M. AlELLO","year":"2002","unstructured":"AlELLO M., and J. VAN BENTHEM, \u2018A modal walk through space\u2019, Journal of Applied Non-Classical Logics, 12(3\u20134):319\u2013364, 2002.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"6","key":"4648_CR4","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","volume":"13","author":"M. AIELLO","year":"2003","unstructured":"AIELLO, M., J. VAN BENTHEM, and G. BEZHANISHVILI, \u2018Reasoning about space: the modal way\u2019, Journal of Logic and Computation, 13(6):889\u2013920, 2003.","journal-title":"Journal of Logic and Computation"},{"key":"4648_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0166-8641(94)00093-I","volume":"64","author":"A. V. ARHANGEL'SKII","year":"1995","unstructured":"ARHANGEL'SKII, A. V., and P. J. COLLINS, \u2018On submaximal spaces\u2019, Topology and its Applications, 64:219\u2013241, 1995.","journal-title":"Topology and its Applications"},{"key":"4648_CR6","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/S1385-7258(62)50003-6","volume":"24","author":"C. E. AULL","year":"1962","unstructured":"AULL, C. E., and W. J. THRON, \u2018Separation axioms between T o and T 1\u2019, Indag. Math., 24:26\u201337, 1962.","journal-title":"Indag. Math."},{"key":"4648_CR7","unstructured":"VAN BENTHEM, J., G. BEZHANISHVILI, B. TEN CATE, and D. SARENAC, \u2018Multimodal logics for products of topologies\u2019, Studia Logica, to appear."},{"issue":"3","key":"4648_CR8","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1023\/B:STUD.0000009564.00287.16","volume":"75","author":"J. VAN BENTHEM","year":"2003","unstructured":"VAN BENTHEM, J., G. BEZHANISHVILI, and M. GEHRKE, \u2018Euclidean hierarchy in modal logic\u2019, Studia Logica, 75(3):327\u2013344, 2003.","journal-title":"Studia Logica"},{"key":"4648_CR9","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/S0166-8641(03)00039-7","volume":"132","author":"G. BEZHANISHVILI","year":"2003","unstructured":"BEZHANISHVILI, G., R. MINES, and P. MORANDI, \u2018Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces\u2019, Topology and its Applications, 132:291\u2013306, 2003.","journal-title":"Topology and its Applications"},{"issue":"2","key":"4648_CR10","doi-asserted-by":"crossref","first-page":"761","DOI":"10.2307\/2274663","volume":"55","author":"A. BLASS","year":"1990","unstructured":"BLASS, A., \u2018Infinitary combinatorics and modal logic\u2019, Journal of Symbolic Logic, 55(2):761\u2013778, 1990.","journal-title":"Journal of Symbolic Logic"},{"key":"4648_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. CHAGROV","year":"1997","unstructured":"CHAGROV, A., and M. ZAKHARYASCHEV, Modal Logic, Clarendon Press, Oxford, 1997."},{"key":"4648_CR12","unstructured":"DONTCHEV, J., M. GANSTER, G. J. KENNEDY, and S.D. MCCARTAN, \u2018On minimal door, minimal anti-compact and minimal T\u00be spaces\u2019, Mathematical Proceedings of the Royal Irish Academy, 98A(2):209\u2013215, 1998."},{"key":"4648_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0166-8641(93)90145-4","volume":"51","author":"E. K. VAN DOUWEN","year":"1993","unstructured":"VAN DOUWEN, E. K., \u2018Applications of maximal topologies\u2019, Topology and its Applications, 51:125\u2013240, 1993.","journal-title":"Topology and its Applications"},{"issue":"5","key":"4648_CR14","first-page":"51","volume":"24","author":"A. G. EL'KIN","year":"1969","unstructured":"EL'KIN, A. G., \u2018Ultrafilters and irresolvable spaces\u2019, Vestnik Moskov. Univ. Ser. I Mat. Meh, 24(5):51\u201356, 1969.","journal-title":"Vestnik Moskov. Univ. Ser. I Mat. Meh"},{"key":"4648_CR15","volume-title":"General Topology","author":"R. ENGELKING","year":"1977","unstructured":"ENGELKING, R,., General Topology, Polish Scientific Publishers, Warsaw, 1977."},{"key":"4648_CR16","first-page":"128","volume-title":"Logical and Semantical Investigations","author":"L. ESAKIA","year":"1981","unstructured":"ESAKIA, L., \u2018Diagonal constructions, Lob's formula and Cantor's scattered spaces\u2019, in Logical and Semantical Investigations, Academy Press, Tbilisi, 1981, pp. 128\u2013143. In Russian."},{"key":"4648_CR17","unstructured":"ESAKIA, L., \u2018Weak transitivity - a restitution\u2019, Logical Investigations, 8:244\u2013255, Moscow, Nauka, 2001. In Russian."},{"issue":"1","key":"4648_CR18","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., and V. MESKHI, \u2018Five critical modal systems\u2019, Theoria 43(1):52\u201360, 1977.","journal-title":"Theoria"},{"key":"4648_CR19","unstructured":"GABELAIA, D., Modal Definability in Topology, Master Thesis, ILLC, University of Amsterdam 2001. Available at: http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/MoL-2001-ll.text.pdf"},{"key":"4648_CR20","doi-asserted-by":"crossref","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 (JAIR), 23:167\u2013243, 2005.","DOI":"10.1613\/jair.1537"},{"key":"4648_CR21","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1215\/S0012-7094-43-01029-4","volume":"10","author":"E. HEWITT","year":"1943","unstructured":"HEWITT, E., \u2018A problem of set-theoretic topology\u2019, Duke Mathematical Journal, 10:309\u2013333, 1943.","journal-title":"Duke Mathematical Journal"},{"issue":"63","key":"4648_CR22","first-page":"3","volume":"21","author":"M. KATETOV","year":"1947","unstructured":"KATETOV, M., \u2018On topological spaces containing no disjoint dense sets\u2019, Rec. Math. [Mat. Sbornik] N.S., 21(63):3\u201312, 1947.","journal-title":"Rec. Math. [Mat. Sbornik] N.S."},{"key":"4648_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S1446788700009629","volume":"14","author":"M. R. KIRCH","year":"1972","unstructured":"KIRCH, M. R., \u2018On Hewitt's \u03c4-maximal spaces\u2019, J. Austral. Math. Soc., 14:45\u201348, 1972.","journal-title":"J. Austral. Math. Soc."},{"key":"4648_CR24","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. C. C. MCKLNSEY","year":"1944","unstructured":"MCKLNSEY, J. C. C., and A. TARSKI, \u2018The algebra of topology\u2019, Annals of Mathematics, 45:141\u2013191, 1944.","journal-title":"Annals of Mathematics"},{"key":"4648_CR25","doi-asserted-by":"crossref","first-page":"961","DOI":"10.2140\/pjm.1965.15.961","volume":"15","author":"O. NJASTAD","year":"1965","unstructured":"NJASTAD, O., \u2018On some classes of nearly open sets\u2019, Pacific J. Math., 15:961\u2013970, 1965.","journal-title":"Pacific J. Math."},{"key":"4648_CR26","unstructured":"RASIOWA, H., and R,. SlKORSKI, The Mathematics of Metamathematics, Polish Scientific Publishers, 1963."},{"key":"4648_CR27","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-69342-4_17","volume-title":"Spatial Cognition - An interdisciplinary approach to representation and processing of spatial knowledge","author":"J. RENZ","year":"1998","unstructured":"RENZ J., and B. NEBEL, \u2018Spatial Reasoning with Topological Information\u2019, in: C. Freksa, C. Habel and K. F. Wender (eds.), Spatial Cognition - An interdisciplinary approach to representation and processing of spatial knowledge, Springer-Verlag, Berlin, 1998, pp. 351\u2013372."},{"key":"4648_CR28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1155\/S0161171298000052","volume":"21","author":"D. ROSE","year":"1998","unstructured":"ROSE, D., \u2018\u03b1-scattered spaces\u2019, Internat. J. Math. & Math. Sci., 21:41\u201346, 1998.","journal-title":"Internat. J. Math. & Math. Sci."},{"key":"4648_CR29","unstructured":"SEGERBERG, K., An Essay in Classical Modal Logic. Vols. 1, 2, 3, Filosofiska F\u00f6reningen och Filosofiska Institutionen vid Uppsala Universitet, Uppsala, 1971. Filosofiska Studier, No. 13."},{"key":"4648_CR30","unstructured":"SHEHTMAN, V., \u2018Derived sets in Euclidean spaces and modal logic\u2019, Preprint X-90-05, University of Amsterdam, 1990."},{"issue":"2","key":"4648_CR31","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1090\/S0002-9947-1966-0190893-2","volume":"122","author":"A. K. STEINER","year":"1966","unstructured":"STEINER, A. K., \u2018The lattice of topologies: structure and complementation\u2019, Transactions of the American Mathematical Society, 122(2):379\u2013398, 1966.","journal-title":"Transactions of the American Mathematical Society"},{"key":"4648_CR32","unstructured":"WOLTER, F., and M. ZAKHARYASCHEV, \u2018Spatial reasoning in RGC-8 with Boolean region terms\u2019, Werner Horn. (ed.). ECAI 2000. 14th European Conference on Artificial Intelligence, pages 244\u2013248, 2000."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-4648-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-4648-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-4648-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:50:45Z","timestamp":1706755845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-4648-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4648"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-4648-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}