{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:45:37Z","timestamp":1783111537498,"version":"3.54.6"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,11,15]],"date-time":"2022-11-15T00:00:00Z","timestamp":1668470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,15]],"date-time":"2022-11-15T00:00:00Z","timestamp":1668470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012456","name":"chinese national funding of social sciences","doi-asserted-by":"publisher","award":["18ZDA033"],"award-info":[{"award-number":["18ZDA033"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1007\/s11225-022-10027-0","type":"journal-article","created":{"date-parts":[[2022,11,15]],"date-time":"2022-11-15T15:09:47Z","timestamp":1668524987000},"page":"217-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Finite Model Property in Weakly Transitive Tense Logics"],"prefix":"10.1007","volume":"111","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8144-4011","authenticated-orcid":false,"given":"Qian","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,11,15]]},"reference":[{"issue":"3","key":"10027_CR1","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11225-005-4648-6","volume":"81","author":"G Bezhanishvili","year":"2005","unstructured":"Bezhanishvili, G., L. Esakia, and D. Gabelaia, Some results on modal axiomatization and definability for topological spaces, Studia Logica 81(3): 325\u2013355, 2005.","journal-title":"Studia Logica"},{"issue":"2","key":"10027_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1215\/00294527-1306190","volume":"52","author":"G Bezhanishvili","year":"2011","unstructured":"Bezhanishvili, G., S. Ghilardi, and M. Jibladze, An algebraic approach to subframe logics. Modal case, Notre Dame Journal of Formal Logic 52(2): 187\u2013202, 2011.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10027_CR3","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, G., L. Esakia, and D. Gabelaia, Spectral and $$T_0$$-spaces in d-semantics, in N. Bezhanishvili, S. L\u00f6bner, K. Schwabe, and L. Spada, (eds.), Logic, Language, and Computation, TbiLLC 2009, LNCS 6618, Springer, 2009, pp. 16\u201329.","DOI":"10.1007\/978-3-642-22303-7_2"},{"issue":"1","key":"10027_CR4","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1017\/S1755020309990335","volume":"3","author":"G Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, G., L. Esakia, and D. Gabelaia, The modal logic of stone spaces: diamond as derivative, The Review of Symbolic Logic 3(1): 26\u201340, 2010.","journal-title":"The Review of Symbolic Logic"},{"key":"10027_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn,\u00a0P., M. de\u00a0Rijke, and Y. Venem, Modal Logic, Cambridge University Press, 2001."},{"key":"10027_CR6","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":"10027_CR7","unstructured":"Esakia, L., Weak transitivity\u2014a restitution, Logical Investigations 8: 244\u2013255, Nauka, Moscow, 2001 (in Russian)."},{"issue":"1\u20133","key":"10027_CR8","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.apal.2003.11.013","volume":"127","author":"L Esakia","year":"2004","unstructured":"Esakia, L., Intuitionistic logic and modality via topology, Annals of Pure and Applied Logic 127(1\u20133): 155\u2013170, 2004.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10027_CR9","unstructured":"Kikot, S., H. Shapirovsky, and E. Zolin, Filtration safe operations on frames, in R. Gor\u00e9, B, Kooi, and A. Kurucz, (eds.), Advances in Modal Logic, vol. 10, College Publications, 2014, pp. 333\u2013352."},{"key":"10027_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF01794981","volume":"31","author":"M Kracht","year":"1992","unstructured":"Kracht, M., Even more about the lattice of tense logics, Archive for Mathematical Logic 31: 243\u2013257, 1992.","journal-title":"Archive for Mathematical Logic"},{"key":"10027_CR11","volume-title":"Tools and Techniques for Modal Logic","author":"M Kracht","year":"1997","unstructured":"Kracht, M., Tools and Techniques for Modal Logic, Elsevier, Amsterdam, 1997."},{"key":"10027_CR12","doi-asserted-by":"publisher","first-page":"469","DOI":"10.2307\/2275487","volume":"56","author":"M Kracht","year":"1991","unstructured":"Kracht, M., and F. Wolter, Properties of independently axiomatizable bimodal logics, The Journal of Symbolic Logic 56: 469\u2013485, 1991.","journal-title":"The Journal of Symbolic Logic"},{"key":"10027_CR13","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1007\/s11225-021-09942-5","volume":"109","author":"M Ma","year":"2021","unstructured":"Ma, M., and Q. Chen, Lattices of finitely alternative tense logics, Studia Logica 109: 1093\u20131118, 2021.","journal-title":"Studia Logica"},{"key":"10027_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"JCC McKinsey","year":"1944","unstructured":"McKinsey J.C.C., and A. Tarski, The algebra of topology, Annals of Mathematics 45: 141\u2013191, 1944.","journal-title":"Annals of Mathematics"},{"key":"10027_CR15","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4020-5587-4_5","volume-title":"Handbook of Spatial Logics","author":"J van Benthem","year":"2007","unstructured":"van Benthem, J., and G. Bezhanishvili, Modal logics of space, in M. Aiello, I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook of Spatial Logics, Springer, Dordrecht, 2007, pp. 217\u2013298."},{"key":"10027_CR16","unstructured":"Wolter, F., Lattices of Modal Logics, Ph.D. thesis, Freien Universit\u00e4t Berlin, Berlin, 1993."},{"issue":"3","key":"10027_CR17","doi-asserted-by":"publisher","first-page":"757","DOI":"10.2307\/2275755","volume":"60","author":"F Wolter","year":"1995","unstructured":"Wolter, F., The finite model property in tense logic The Journal of Symbolic Logic, 60(3): 757\u2013774, 1995.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"10027_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1305\/ndjfl\/1040046085","volume":"37","author":"F Wolter","year":"1996","unstructured":"Wolter, F., A counterexample in tense logic Notre Dame Journal of Formal Logic, 37(2): 167\u2013173, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10027_CR19","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S1570-2464(07)80010-3","volume-title":"Handbook of Modal Logic","author":"F Wolter","year":"2007","unstructured":"Wolter, F., and M. Zakharyaschev, Modal decision problems, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, Elsevier, Amsterdam, 2007, pp. 427\u2013489."},{"issue":"3","key":"10027_CR20","doi-asserted-by":"publisher","first-page":"950","DOI":"10.2307\/2275581","volume":"62","author":"M Zakharyaschev","year":"1997","unstructured":"Zakharyaschev, M., Canonical formula for K4. Part III: the finite model property, The Journal of Symbolic Logic 62(3): 950\u2013975, 1997.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10027-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10027-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10027-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T21:36:29Z","timestamp":1701380189000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10027-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,15]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,4]]}},"alternative-id":["10027"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10027-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,15]]},"assertion":[{"value":"13 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}