{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:56Z","timestamp":1755220976611,"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:1021360511488","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T20:22:32Z","timestamp":1048191752000},"page":"233-252","source":"Crossref","is-referenced-by-count":2,"title":["Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds"],"prefix":"10.1007","volume":"72","author":[{"given":"Maarten","family":"Marx","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5111632_CR1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/2586762","volume":"64","author":"H. Andr\u00c9ka","year":"1999","unstructured":"Andr\u00c9ka, H., I. Hodkinson, and I. N\u00c9meti, 'Finite algebras of relations are representable on finite sets', Journal of Symbolic Logic 64:243-267, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"5111632_CR2","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. Fisher","year":"1979","unstructured":"Fisher, M., and R. Ladner, 'Propositional dynamic logic of regular programs', J. Comput. Syst. Sci. 18:194-211, 1979.","journal-title":"J. Comput. Syst. Sci."},{"key":"5111632_CR3","doi-asserted-by":"crossref","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00c4del","year":"1999","unstructured":"Gr\u00c4del, E., 'On the restraining power of guards', Journal of Symbolic Logic 64:1719-1742, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"5111632_CR4","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"Halpern, J. Y., and Y. O. Moses, 'A guide to completeness and complexity for modal logics of knowledge and belief', Artificial Intelligence 54:319-379, 1992.","journal-title":"Artificial Intelligence"},{"key":"5111632_CR5","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R. Ladner","year":"1977","unstructured":"Ladner, R., 'The computational complexity of provability in systems of modal propositional logic', SIAM Journal of Computing 6:467-480, 1977.","journal-title":"SIAM Journal of Computing"},{"key":"5111632_CR6","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 2 and first order logic with two variables', Journal of Symbolic Logic 64:1563-1572, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"5111632_CR7","series-title":"Studies in Logic, Language and Information","volume-title":"Arrow Logic and Multimodal Logics","year":"1996","unstructured":"Marx, M., L. P\u00d3los, and M. Masuch (eds.), Arrow Logic and Multimodal Logics, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996."},{"key":"5111632_CR8","doi-asserted-by":"crossref","unstructured":"Marx, M., and Y. Venema, Multi-dimensional Modal Logic, Applied Logic Series, Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-94-011-5694-3"},{"key":"5111632_CR9","doi-asserted-by":"crossref","first-page":"747","DOI":"10.2307\/2586497","volume":"64","author":"S. Mikul\u00c1s","year":"1999","unstructured":"Mikul\u00c1s, Sz., and M. Marx, 'Undecidable relativizations of algebras of relations', Journal of Symbolic Logic 64:747-760, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"5111632_CR10","series-title":"Studies in Logic, Language and Information","first-page":"221","volume-title":"Arrow Logic and Multimodal Logics","author":"I. N\u00c9meti","year":"1996","unstructured":"N\u00c9meti, I., 'A fine-structure analysis of first-order logic', In M. Masuch (eds.), Arrow Logic and Multimodal Logics, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996 [7], pp. 221-247."},{"key":"5111632_CR11","unstructured":"Spaan, E., 'Complexity of modal logics', PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1993."},{"key":"5111632_CR12","doi-asserted-by":"crossref","unstructured":"Tarski, A., and S. Givant, A Formalization of Set Theory without Variables, AMS Colloquium Publications 41, Providence, Rhode Island, 1987.","DOI":"10.1090\/coll\/041"},{"key":"5111632_CR13","volume-title":"Modal Logic and Classical Logic","author":"J. Van Benthem","year":"1983","unstructured":"Van Benthem, J., Modal Logic and Classical Logic, Bibliopolis, Naples, 1983."},{"key":"5111632_CR14","series-title":"Studies in Logic, Language and Information","volume-title":"Exploring Logical Dynamics","author":"J. Van Benthem","year":"1996","unstructured":"Van Benthem, J., Exploring Logical Dynamics, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996."},{"key":"5111632_CR15","doi-asserted-by":"crossref","unstructured":"Vardi, M., 'Why is modal logic so robustly decidable?', In DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31, American Math. Society, 1997, pp. 149-184.","DOI":"10.1090\/dimacs\/031\/05"},{"key":"5111632_CR16","unstructured":"Venema, Y., 'Two-dimensional modal logics for relational algebras and temporal logic of intervals', ITLI-prepublication series LP-89-03, University of Amsterdam, 1989."},{"key":"5111632_CR17","unstructured":"Venema, Y., 'Many-dimensional modal logic', PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1992."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021360511488.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021360511488\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021360511488.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:22:42Z","timestamp":1754630562000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021360511488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5111632"],"URL":"https:\/\/doi.org\/10.1023\/a:1021360511488","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}