{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:36:44Z","timestamp":1775738204444,"version":"3.50.1"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:00:00Z","timestamp":1101859200000},"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":[[2004,12]]},"DOI":"10.1007\/s11225-004-6044-z","type":"journal-article","created":{"date-parts":[[2005,3,15]],"date-time":"2005-03-15T13:51:03Z","timestamp":1110894663000},"page":"443-457","source":"Crossref","is-referenced-by-count":4,"title":["All Normal Extensions of S5-squared Are Finitely Axiomatizable"],"prefix":"10.1007","volume":"78","author":[{"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s00012-002-8203-2","volume":"48","author":"N. Bezhanishvili","year":"2002","unstructured":"Bezhanishvili, N., ?Varieties of two-dimensional cylindric algebras. Part I: Diagonal-free case?, Algebra Universalis 48 (2002), 11?42.","journal-title":"Algebra Universalis"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s00012-004-1856-2","volume":"51","author":"N. Bezhanishvili","year":"2004","unstructured":"Bezhanishvili, N., ?Varieties of two-dimensional cylindric algebras. Part II?, Algebra Universalis 51 (2004) 177?206.","journal-title":"Algebra Universalis"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1023383112908","volume":"73","author":"N. Bezhanishvili","year":"2003","unstructured":"Bezhanishvili, N., and M. Marx, ?All proper normal extensions of S5-square have the polynomial size model property?, Studia Logica 73 (2003), 367?382.","journal-title":"Studia Logica"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"CR5","unstructured":"Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Studies in Logic, vol. 148, North-Holland, 2003."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., P. Kolaitis, and M. Vardi, ?On the decision problem for two-variable first order logic?, Bulletin of Symbolic Logic 3 (1997), 53?69.","journal-title":"Bulletin of Symbolic Logic"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"2","author":"G. Higman","year":"1952","unstructured":"Higman, G., ?Ordering by divisibility in abstract algebras?, Proc. London Math. Soc. 2 (1952), 326?336.","journal-title":"Proc. London Math. Soc."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1002\/malq.19930390136","volume":"39","author":"M. Kracht","year":"1993","unstructured":"Kracht, M., ?Prefinitely axiomatizable modal and intermediate logics?, Mathematical Logic Quarterly 39 (1993), 301?322.","journal-title":"Mathematical Logic Quarterly"},{"key":"CR9","unstructured":"Laver, R., Better-quasi-orderings and a class of trees, in: Studies in Foundations and Combinatorics, Gian-Carlo Rota, ed., vol. 1 of Advances in Mathematics Supplementary Studies, Academic Press, 1978, pp. 31?48."},{"key":"CR10","first-page":"89","volume":"1","author":"R. Rado","year":"1954","unstructured":"Rado, R., ?Partial well ordering of sets of vectors?, Mathematica 1 (1954), 89?95.","journal-title":"Mathematica"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K. Segerberg","year":"1973","unstructured":"Segerberg, K., ?Two-dimensional modal logic?, Journal of Philosophical logic 2 (1973), 77?96.","journal-title":"Journal of Philosophical logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-004-6044-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-004-6044-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-004-6044-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:37Z","timestamp":1559384677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-004-6044-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["6044"],"URL":"https:\/\/doi.org\/10.1007\/s11225-004-6044-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}