{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:53Z","timestamp":1755220973015,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1021312628326","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T20:22:32Z","timestamp":1048191752000},"page":"253-263","source":"Crossref","is-referenced-by-count":3,"title":["An Elementary Construction for a Non-elementary Procedure"],"prefix":"10.1007","volume":"72","author":[{"given":"Maarten","family":"Marx","sequence":"first","affiliation":[]},{"given":"Szabolcs","family":"Mikul\u00e1s","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5111633_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"5111633_CR2","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"5111633_CR3","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D. Gabbay","year":"1998","unstructured":"Gabbay, D., and V. Shehtman, 'Products of modal logics, part 1', Logic Journal of the IGPL 6:73-146, 1998.","journal-title":"Logic Journal of the IGPL"},{"key":"5111633_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/8.2.165","volume":"8","author":"D. Gabbay","year":"2000","unstructured":"Gabbay, D., and V. Shehtman, 'Products of modal logics, part 2', Logic Journal of the IGPL 8:165-210, 2000.","journal-title":"Logic Journal of the IGPL"},{"key":"5111633_CR5","unstructured":"Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Studies in Logic, Elsevier, to appear."},{"key":"5111633_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00c4del","year":"1997","unstructured":"Gr\u00c4del, E., P. Kolaitis, and M. Vardi, 'On the decision problem for two-variable first order logic', Bulletin of Symbolic Logic 3:53-69, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"5111633_CR7","first-page":"221","volume":"9","author":"M. Marx","year":"1999","unstructured":"Marx, M., 'Complexity of products of modal logics', Journal of Logic and Computation 9:221-238, 1999.","journal-title":"Journal of Logic and Computation"},{"key":"5111633_CR8","doi-asserted-by":"crossref","first-page":"1563","DOI":"10.2307\/2586797","volume":"64","author":"M. Marx","year":"1999","unstructured":"Marx, M., and Sz. Mikul\u00c1s, 'Decidability of cylindric set algebras of dimension two and first-order logic with two variables', Journal of Symbolic Logic 64:1563-1572, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"5111633_CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1093\/jigpal\/9.1.71","volume":"9","author":"M. Marx","year":"2001","unstructured":"Marx, M., and Sz. Mikul\u00c1s, 'Products, or how to create modal logics of high complexity', Logic Journal of the IGPL 9:77-88, 2001.","journal-title":"Logic Journal of the IGPL"},{"key":"5111633_CR10","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1305\/ndjfl\/1039700748","volume":"38","author":"M. Reynolds","year":"1997","unstructured":"Reynolds, M., 'A decidable logic of parallelism', Notre Dame Journal of Formal Logic 38:419-436, 1997.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"6","key":"5111633_CR11","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1093\/logcom\/11.6.909","volume":"11","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M., and M. Zakharyaschev, 'On the products of linear modal logics', Journal of Logic and Computation 11(6): 909-931, December 2001.","journal-title":"Journal of Logic and Computation"},{"key":"5111633_CR12","first-page":"477","volume":"27","author":"D. Scott","year":"1962","unstructured":"Scott, D., 'A decision method for validity of sentences in two variables', Journal of Symbolic Logic 27:477, 1962.","journal-title":"Journal of Symbolic Logic"},{"key":"5111633_CR13","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:77-96, 1973.","journal-title":"Journal of Philosophical Logic"},{"key":"5111633_CR14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1093\/logcom\/10.2.223","volume":"10","author":"F. Wolter","year":"2000","unstructured":"Wolter, F., 'The product of converse PDL and polymodal K', Journal of Logic and Computation 10:223-251, 2000.","journal-title":"Journal of Logic and Computation"},{"key":"5111633_CR15","unstructured":"Wolter, F., and M. Zakharyaschev, 'Satisfiability problem in description logics with modal operators', In Proceedings of KR-98 (eds.: A.G. Cohn, L. Schubert, S.C. Shapiro), Morgan Kaufman, 1998, pp. 512-523."},{"key":"5111633_CR16","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1999-39405","volume":"39","author":"F. Wolter","year":"1999","unstructured":"Wolter, F., and M. Zakharyaschev, 'Modal description logics: modalizing roles', Fundamenta Informaticae 39:411-438, 1999.","journal-title":"Fundamenta Informaticae"},{"key":"5111633_CR17","unstructured":"Wolter, F., and M. Zakharyaschev, 'Spatio-temporal representation and reasoning based on RCC-8', In Proceedings of KR-2000, Morgan Kaufman, 2000, pp. 3-14."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021312628326.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021312628326\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021312628326.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:22:11Z","timestamp":1754630531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021312628326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5111633"],"URL":"https:\/\/doi.org\/10.1023\/a:1021312628326","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}