{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:51:49Z","timestamp":1773939109797,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"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,7]]},"DOI":"10.1023\/a:1016596721799","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T22:32:49Z","timestamp":1041114769000},"page":"177-198","source":"Crossref","is-referenced-by-count":7,"title":["Complexity and Nicety of Fluted Logic"],"prefix":"10.1007","volume":"71","author":[{"given":"William C.","family":"Purdy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5095426_CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, Hajnal, Johan van Benthem, and Istvan N\u00e9meti, 'Modal languages and bounded fragments of predicate logic', Journal of Philosophical Logic 27 (1998), 217-274.","journal-title":"Journal of Philosophical Logic"},{"key":"5095426_CR2","volume-title":"Applying Algebraic Logic; A General Methodology","author":"H. Andr\u00e9ka","year":"1994","unstructured":"Andr\u00e9ka, Hajnal, \u00c1gnes Kurucz, Istv\u00e1n N\u00e9meti, and Ildik\u00f3 Sain, Applying Algebraic Logic; A General Methodology Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary, 1994."},{"key":"5095426_CR3","volume-title":"An Introduction to Mathematical Logic and Type Theory","author":"P. B. Andrews","year":"1986","unstructured":"Andrews, Peter B., An Introduction to Mathematical Logic and Type Theory, Academic Press, Orlando, 1986."},{"key":"5095426_CR4","volume-title":"Exploring Logical Dynamics","author":"J. van Benthem","year":"1996","unstructured":"van Benthem, Johan, Exploring Logical Dynamics, CLSI Publications, Stanford, California, 1996."},{"key":"5095426_CR5","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":"5095426_CR6","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, Joseph Y., and Yoram Moses, 'A guide to completeness and complexity for modal logics of knowledge and belief', Artificial Intelligence 54 (1992), 319-379.","journal-title":"Artificial Intelligence"},{"key":"5095426_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-94-010-3296-4_8","volume-title":"Information and Inference","author":"J. Hintikka","year":"1970","unstructured":"Hintikka, Jaakko, 'Surface information and depth information', in J. Hintikka, and P. Suppes (eds.), Information and Inference, D. Reidel Publishing Company, Dordrecht, 1970, pp. 263-297."},{"key":"5095426_CR8","volume-title":"Logic, Language-Games and Information","author":"J. Hintikka","year":"1973","unstructured":"Hintikka, Jaakko, Logic, Language-Games and Information, Clarendon Press, Oxford, 1973."},{"key":"5095426_CR9","unstructured":"Hoogland, Eva, and Maarten Marx, 'Interpolation in Guarded Fragments', ILLC preprint, University of Amsterdam, 2000."},{"key":"5095426_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/3-540-46508-1_13","volume-title":"Automated Deduction in Classical and Non-Classical Logic","author":"U. Hustadt","year":"2000","unstructured":"Hustadt, U., and R. A. Schmidt, 'Issues of decidability for description logics in the framework of resolution', in R. Caferra and G. Salzer (eds), Automated Deduction in Classical and Non-Classical Logic, Lecture Notes in Artificial Intelligence, 1761, Springer, New York, 2000, pp. 191-205."},{"key":"5095426_CR11","series-title":"LTCS-Report","doi-asserted-by":"crossref","DOI":"10.25368\/2022.105","volume-title":"The complexity of reasoning with Boolean modal logics","author":"C. Lutz","year":"2000","unstructured":"Lutz, Carsten and Ulrike Sattler, 'The complexity of reasoning with Boolean modal logics', LTCS-Report 00-02, Aachen University of Technology, Aachen, 2000."},{"key":"5095426_CR12","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1093\/logcom\/7.5.581","volume":"7","author":"H. J. Ohlbach","year":"1997","unstructured":"Hans J\u00fcrgen Ohlbach and Renate A. Schmidt, 'Functional translation and second-order frame properties of modal logics', Journal of Logic and Computation 7, 1997, 581-603.","journal-title":"Journal of Logic and Computation"},{"key":"5095426_CR13","doi-asserted-by":"crossref","first-page":"608","DOI":"10.2307\/2275678","volume":"61","author":"W. C. Purdy","year":"1996","unstructured":"Purdy, W. C., 'Fluted formulas and the limits of decidability', Journal of Symbolic Logic 61 (1996), 608-620. This as well as other papers by the author cited here can be obtained by ftp from http:\/\/www.cis.syr.edu\/~ wcpurdy\/.","journal-title":"Journal of Symbolic Logic"},{"key":"5095426_CR14","doi-asserted-by":"crossref","first-page":"1439","DOI":"10.2307\/2586789","volume":"64","author":"W. C. Purdy","year":"1999","unstructured":"Purdy, W. C., 'Quine's \u201cLimits of Decision\u201d', Journal of Symbolic Logic 64 (1999), 1439-1466.","journal-title":"Journal of Symbolic Logic"},{"key":"5095426_CR15","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-94-009-3763-5_2","volume-title":"Jaakko Hintikka","author":"V. Rantala","year":"1987","unstructured":"Rantala, Veikko, 'Constituents', in J. Bogdan Radu (ed.), Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht, 1987, pp. 43-76."},{"key":"5095426_CR16","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1023\/A:1006043519663","volume":"22","author":"R. A. Schmidt","year":"1999","unstructured":"Schmidt, R. A., 'Decidability by resolution for propositional modal logics', Journal of Automated Reasoning 22, 1999, 379-396.","journal-title":"Journal of Automated Reasoning"},{"key":"5095426_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/10721959_34","volume-title":"Automated Deduction-CADE-17","author":"R. A. Schmidt","year":"2000","unstructured":"Schmidt, R. A., and U. Hustadt, 'A resolution decision procedure for fluted logic', in D. McAllester (ed.), Automated Deduction-CADE-17, Lecture Notes in Artificial Intelligence 1831, Springer, New York, 2000, pp. 433-448."},{"key":"5095426_CR18","volume-title":"First-Order Logic","author":"R. M. Smullyan","year":"1995","unstructured":"Smullyan, Raymond M., First-Order Logic, Dover Publications, New York, 1995."},{"key":"5095426_CR19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00246025","volume":"2","author":"M. E. Stickel","year":"1986","unstructured":"Stickel, Mark E., 'Schubert's steamroller problem: Formulations and solutions', Journal of Automated Reasoning 2 (1986), 89-101.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016596721799.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016596721799\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016596721799.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:27:07Z","timestamp":1754630827000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016596721799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["5095426"],"URL":"https:\/\/doi.org\/10.1023\/a:1016596721799","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}