{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T21:15:52Z","timestamp":1779138952054,"version":"3.51.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T00:00:00Z","timestamp":1668988800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T00:00:00Z","timestamp":1668988800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"crossref","award":["20-41-05002"],"award-info":[{"award-number":["20-41-05002"]}],"id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"crossref","award":["Russian Science Foundation"],"award-info":[{"award-number":["Russian Science Foundation"]}],"id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"crossref"}]}],"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-10021-6","type":"journal-article","created":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:11:46Z","timestamp":1669162306000},"page":"251-280","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Infinitary Action Logic with Multiplexing"],"prefix":"10.1007","volume":"111","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0025-0133","authenticated-orcid":false,"given":"Stepan L.","family":"Kuznetsov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6386-5632","authenticated-orcid":false,"given":"Stanislav O.","family":"Speranski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,21]]},"reference":[{"key":"10021_CR1","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/S0049-237X(08)71120-0","volume-title":"Handbook of Mathematical Logic","author":"P Aczel","year":"1977","unstructured":"Aczel, P., An introduction to inductive definitions, in J. Barwise, (ed.), Handbook of Mathematical Logic, Elsevier, 1977, pp. 739\u2013782."},{"key":"10021_CR2","doi-asserted-by":"crossref","unstructured":"Buchholz, W., Explaining Gentzen\u2019s consistency proof within infinitary proof theory, in G. Gottlob, A. Leitsch, and D. Mundici, (eds.), Computational Logic and Proof Theory, 5th Kurt G\u00f6del Colloquium, KGC 1997, LNCS 1289, Springer, 1997, pp. 4\u201317.","DOI":"10.1007\/3-540-63385-5_29"},{"issue":"1","key":"10021_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1093\/logcom\/exl036","volume":"17","author":"W Buszkowski","year":"2007","unstructured":"Buszkowski, W., On action logic: equational theories of action algebras, Journal of Logic and Computation 17(1):199\u2013217, 2007.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"10021_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11225-008-9116-7","volume":"89","author":"W Buszkowski","year":"2008","unstructured":"Buszkowski, W., and E. Palka, Infinitary action logic: complexity, models and grammars, Studia Logica 89(1):1\u201318, 2008.","journal-title":"Studia Logica"},{"issue":"1","key":"10021_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y., Linear logic, Theoretical Computer Science 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10021_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1006\/inco.1998.2700","volume":"143","author":"J-Y Girard","year":"1998","unstructured":"Girard, J.-Y., Light linear logic, Information and Computation 143(2):175\u2013204, 1998.","journal-title":"Information and Computation"},{"issue":"8","key":"10021_CR7","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1017\/S0960129518000117","volume":"29","author":"M Kanovich","year":"2019","unstructured":"Kanovich, M., S. Kuznetsov, V. Nigam, and A. Scedrov, Subexponentials in non-commutative linear logic, Mathematical Structures in Computer Science 29(8):1217\u20131249, 2019.","journal-title":"Mathematical Structures in Computer Science"},{"key":"10021_CR8","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-030-51074-9_29","volume-title":"Automated Reasoning, 10th International Joint Conference","author":"M Kanovich","year":"2020","unstructured":"Kanovich, M., S. Kuznetsov, V. Nigam, and A. Scedrov, Soft subexponentials and multiplexing, in N. Peltier, and V. Sofronie-Stokkermans, (eds.), Automated Reasoning, 10th International Joint Conference, IJCAR 2020, LNAI 12166, Springer, 2020, pp. 500\u2013517."},{"key":"10021_CR9","doi-asserted-by":"crossref","first-page":"78","DOI":"10.7551\/mitpress\/4286.003.0007","volume-title":"Logic and Information Flow","author":"D Kozen","year":"1994","unstructured":"Kozen, D., On action algebras, in J. van Eijck, and A. Visser, (eds.), Logic and Information Flow, MIT Press, 1994, pp. 78-88."},{"key":"10021_CR10","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-030-86059-2_19","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods, 30th International Conference","author":"SL Kuznetsov","year":"2021","unstructured":"Kuznetsov, S.\u00a0L., Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs, in A. Das, and S. Negri, (eds.), Automated Reasoning with Analytic Tableaux and Related Methods, 30th International Conference, TABLEAUX 2021, LNCS 12842, Springer, 2021, pp. 317-334."},{"key":"10021_CR11","doi-asserted-by":"crossref","unstructured":"Kuznetsov, S.\u00a0L., Commutative action logic, Journal of Logic and Computation, exac008, 2022.","DOI":"10.1093\/logcom\/exac008"},{"issue":"2","key":"10021_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.103057","volume":"173","author":"SL Kuznetsov","year":"2022","unstructured":"Kuznetsov, S.\u00a0L., and S.\u00a0O. Speranski, Infinitary action logic with exponentiation, Annals of Pure and Applied Logic 173(2):103057, 2022.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1\u20132","key":"10021_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.tcs.2003.10.018","volume":"318","author":"Y Lafont","year":"2004","unstructured":"Lafont, Y., Soft linear logic and polynomial time, Theoretical Computer Science 318(1\u20132):163\u2013180, 2004.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10021_CR14","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J., The mathematics of sentence structure, American Mathematical Monthly 65(3):154\u2013170, 1958.","journal-title":"American Mathematical Monthly"},{"issue":"1\u20133","key":"10021_CR15","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P Lincoln","year":"1992","unstructured":"Lincoln, P., J. Mitchell, A. Scedrov, and N. Shankar, Decision problems for propositional linear logic, Annals of Pure and Applied Logic 56(1\u20133):239\u2013311, 1992.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"10021_CR16","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"ML Minsky","year":"1961","unstructured":"Minsky, M.\u00a0L., Recursive unsolvability of Post\u2019s problem of \u201cTag\u201d and other topics in theory of Turing machines, Annals of Mathematics 74(3):437\u2013455, 1961.","journal-title":"Annals of Mathematics"},{"key":"10021_CR17","unstructured":"Moschovakis, Y.\u00a0N., Elementary Induction on Abstract Structures, North-Holland Publishing Company, 1974."},{"issue":"2","key":"10021_CR18","first-page":"295","volume":"78","author":"E Palka","year":"2007","unstructured":"Palka, E., An infinitary sequent system for the equational theory of *-continuous action lattices, Fundamenta Informaticae 78(2):295\u2013309, 2007.","journal-title":"Fundamenta Informaticae"},{"key":"10021_CR19","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0018436","volume-title":"Logics in AI","author":"V Pratt","year":"1991","unstructured":"Pratt, V., Action logic and pure induction, in J. Eijck, (ed.), Logics in AI, European Workshop JELIA 1990, LNAI 478, Springer, 1991, pp. 97\u2013120."},{"key":"10021_CR20","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-540-72734-7_33","volume-title":"Logical Foundations of Computer Science","author":"BF Redmond","year":"2007","unstructured":"Redmond, B.\u00a0F., Multiplexor categories and models of soft linear logic, in S.\u00a0N. Artemov, and A. Nerode, (eds.), Logical Foundations of Computer Science, International Symposium, LFCS 2007, LNCS 4514, Springer, 2007, pp. 472\u2013485."},{"key":"10021_CR21","unstructured":"Rogers, H., Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, 1967."},{"key":"10021_CR22","doi-asserted-by":"crossref","unstructured":"Sacks, G.\u00a0E., Higher Recursion Theory, Springer, 1990.","DOI":"10.1007\/978-3-662-12013-2"},{"key":"10021_CR23","unstructured":"Schroeppel, R., A two counter machine cannot calculate $$2^N$$, Massachusetts Institute of Technology, A.\u00a0I. Laboratory, Artificial Intelligence Memo #257, 1972."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10021-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10021-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10021-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T10:31:06Z","timestamp":1728469866000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10021-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,21]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,4]]}},"alternative-id":["10021"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10021-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,21]]},"assertion":[{"value":"24 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}