{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T12:14:39Z","timestamp":1778069679428,"version":"3.51.4"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100031478","name":"NextGenerationEU","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100031478","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    This paper develops a sequent calculus framework for representing locally and globally valid metainferences through which contraction-free sequent calculi for the modal logics S5 and the propositional fragment of Carnap\u2019s C are obtained. The sequent calculi allow for strongly terminating and backtracking-free proof search, features which in turn arguably explain\n                    <jats:italic>why<\/jats:italic>\n                    the decision problems for S5 and the propositional fragment of Carnap\u2019s C are reducible to that of propositional classical logic.\n                  <\/jats:p>","DOI":"10.1007\/s10992-026-09838-6","type":"journal-article","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T08:34:20Z","timestamp":1775032460000},"page":"481-512","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Metainferences, Invalidities and Contraction-Free Sequent Calculi for S5 and Carnap\u2019s C"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3239-4484","authenticated-orcid":false,"given":"Andreas","family":"Fjellstad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,1]]},"reference":[{"issue":"5\u20136","key":"9838_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S. (2005). Proof analysis in modal logic. Journal of Philosophical Logic, 34(5\u20136), 507\u2013544. https:\/\/doi.org\/10.1007\/s10992-005-2267-3","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9838_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1017\/s1755020308080040","volume":"1","author":"F Poggiolesi","year":"2008","unstructured":"Poggiolesi, F. (2008). A cut-free simple sequent calculus for modal logic s5. Review of Symbolic Logic, 1(1), 3\u201315. https:\/\/doi.org\/10.1017\/s1755020308080040","journal-title":"Review of Symbolic Logic"},{"key":"9838_CR3","doi-asserted-by":"publisher","unstructured":"Br\u00fcnnler, K. (2009). Deep sequent systems for modal logic. Archive for Mathematical Logic,48, 551\u2013577. https:\/\/doi.org\/10.1007\/s00153-009-0137-3","DOI":"10.1007\/s00153-009-0137-3"},{"key":"9838_CR4","doi-asserted-by":"publisher","unstructured":"Fiorentini, C., & Ferrari, M. (2024). A terminating sequent calculus for intuitionistic strong l\u00f6b logic with the subformula property. In Benzm\u00fcller, C., Heule, R.A. Marijn J.H., & Schmidt (Eds.), Automated Reasoning, pp. 24\u201342. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-031-63501-4_2","DOI":"10.1007\/978-3-031-63501-4_2"},{"key":"9838_CR5","first-page":"249","volume-title":"Advances in Modal Logic","author":"LA Nguyen","year":"1998","unstructured":"Nguyen, L. A. (1998). On the complexity of fragments of modal logics. In M. Kracht, M. Rijke, H. Wansing, & M. Zakharyaschev (Eds.), Advances in Modal Logic (pp. 249\u2013268). Stanford: CSLI Publications."},{"key":"9838_CR6","volume-title":"Meaning and Necessity: A Study in Semantics and Modal Logic","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and Necessity: A Study in Semantics and Modal Logic. Chicago, IL, USA: University of Chicago Press."},{"key":"9838_CR7","doi-asserted-by":"publisher","unstructured":"Orlandelli, E., & Tesi, M. (2024). A syntactic proof of the decidability of first-order monadic logic. Bulletin of the Section of Logic,53(2), 223\u2013244. https:\/\/doi.org\/10.18778\/0138-0680.2024.03","DOI":"10.18778\/0138-0680.2024.03"},{"key":"9838_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., & Plato, J. (2001). Structural Proof Theory. New York: Cambridge University Press."},{"key":"9838_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (2000). Basic Proof Theory. New York: Cambridge University Press."},{"issue":"1","key":"9838_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s11229-009-9565-1","volume":"180","author":"A Bokulich","year":"2011","unstructured":"Bokulich, A. (2011). How scientific models can explain. Synthese, 180(1), 33\u201345. https:\/\/doi.org\/10.1007\/s11229-009-9565-1","journal-title":"Synthese"},{"key":"9838_CR11","volume-title":"Making Things Happen: A Theory of Causal Explanation","author":"J Woodward","year":"2003","unstructured":"Woodward, J. (2003). Making Things Happen: A Theory of Causal Explanation. New York: Oxford University Press."},{"key":"9838_CR12","doi-asserted-by":"publisher","unstructured":"Tait, W.W. (1968). Normal derivability in classical logic. In Barwise, J. (ed.), The Syntax and Semantics of Infinitary Languages, pp. 204\u2013236. Springer, Berlin Heidelberg. https:\/\/doi.org\/10.1007\/BFb0079691","DOI":"10.1007\/BFb0079691"},{"issue":"6","key":"9838_CR13","doi-asserted-by":"publisher","first-page":"1701","DOI":"10.1007\/s10992-024-09779-y","volume":"53","author":"R Golan","year":"2024","unstructured":"Golan, R. (2024). A hybrid calculus for the validities and invalidities of classical propositional logic. Journal of Philosophical Logic, 53(6), 1701\u20131716. https:\/\/doi.org\/10.1007\/s10992-024-09779-y","journal-title":"Journal of Philosophical Logic"},{"key":"9838_CR14","doi-asserted-by":"publisher","unstructured":"Dicher, B., & Paoli, F. (2019). ST, LP and tolerant metainferences. In: Ba\u015fkent, C., & Ferguson, T.M. (Eds.), Graham Priest on Dialetheism and Paraconsistency, pp. 383\u2013407. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-25365-3_18","DOI":"10.1007\/978-3-030-25365-3_18"},{"issue":"5","key":"9838_CR15","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Barrio","year":"2015","unstructured":"Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551\u2013571. https:\/\/doi.org\/10.1007\/s10992-014-9342-6","journal-title":"Journal of Philosophical Logic"},{"key":"9838_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44381-7","volume-title":"Metainferential Logics","author":"F Pailos","year":"2023","unstructured":"Pailos, F., & Da R\u00e9, B. (2023). Metainferential Logics. Cham: Springer."},{"issue":"6","key":"9838_CR17","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1007\/s10992-021-09623-7","volume":"51","author":"R French","year":"2022","unstructured":"French, R. (2022). Metasequents and tetravaluations. Journal of Philosophical Logic, 51(6), 1453\u20131476. https:\/\/doi.org\/10.1007\/s10992-021-09623-7","journal-title":"Journal of Philosophical Logic"},{"key":"9838_CR18","doi-asserted-by":"publisher","unstructured":"Hlobil, U. (2018).The cut-free approach and the admissibility-curry. Thought: A Journal of Philosophy,7(1), 40\u201348. https:\/\/doi.org\/10.1002\/tht3.267","DOI":"10.1002\/tht3.267"},{"issue":"2","key":"9838_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-022-03667-1","volume":"200","author":"A Fjellstad","year":"2022","unstructured":"Fjellstad, A. (2022). Expressing logical disagreement from within. Synthese, 200(2), 1\u201333. https:\/\/doi.org\/10.1007\/s11229-022-03667-1","journal-title":"Synthese"},{"key":"9838_CR20","doi-asserted-by":"publisher","unstructured":"Teijeiro, P. (2021). Strength and stability. An\u00e1lisis Filos\u00f3fico,41(2), 337\u2013349. https:\/\/doi.org\/10.36446\/af.2021.459","DOI":"10.36446\/af.2021.459"},{"issue":"3","key":"9838_CR21","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/analys\/anab032","volume":"81","author":"R Golan","year":"2021","unstructured":"Golan, R. (2021). There is no tenable notion of global metainferential validity. Analysis, 81(3), 411\u2013420. https:\/\/doi.org\/10.1093\/analys\/anab032","journal-title":"Analysis"},{"issue":"67","key":"9838_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-025-05089-1","volume":"206","author":"B Kortenbach","year":"2025","unstructured":"Kortenbach, B. (2025). Appreciating global validity. Synthese, 206(67), 1\u201338. https:\/\/doi.org\/10.1007\/s11229-025-05089-1","journal-title":"Synthese"},{"issue":"4","key":"9838_CR23","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s11787-023-00337-9","volume":"17","author":"G Pulcini","year":"2023","unstructured":"Pulcini, G., & Varzi, A. C. (2023). Complementary proof nets for classical logic. Logica Universalis, 17(4), 411\u2013432. https:\/\/doi.org\/10.1007\/s11787-023-00337-9","journal-title":"Logica Universalis"},{"key":"9838_CR24","volume-title":"An Introduction to Substructural Logics","author":"G Restall","year":"1999","unstructured":"Restall, G. (1999). An Introduction to Substructural Logics. New York: Routledge."},{"issue":"1\u20132","key":"9838_CR25","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/a:1026243304544","volume":"137","author":"J von Plato","year":"2003","unstructured":"von Plato, J. (2003). Rereading Gentzen. Synthese, 137(1\u20132), 195\u2013209. https:\/\/doi.org\/10.1023\/a:1026243304544","journal-title":"Synthese"},{"issue":"3","key":"9838_CR26","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R Dyckhoff","year":"1992","unstructured":"Dyckhoff, R. (1992). Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57(3), 795\u2013807. https:\/\/doi.org\/10.2307\/2275431","journal-title":"Journal of Symbolic Logic"},{"key":"9838_CR27","doi-asserted-by":"publisher","unstructured":"Rosenblatt, L. (2017). Naive validity, internalization, and substructural approaches to paradox. Ergo: An Open Access Journal of Philosophy,4. https:\/\/doi.org\/10.3998\/ergo.12405314.0004.004","DOI":"10.3998\/ergo.12405314.0004.004"},{"issue":"6","key":"9838_CR28","doi-asserted-by":"publisher","first-page":"1327","DOI":"10.1007\/s10992-021-09627-3","volume":"51","author":"A Fjellstad","year":"2021","unstructured":"Fjellstad, A. (2021). Metainferential reasoning on strong kleene models. Journal of Philosophical Logic, 51(6), 1327\u20131344. https:\/\/doi.org\/10.1007\/s10992-021-09627-3","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9838_CR29","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/bf01053026","volume":"53","author":"R Kashima","year":"1994","unstructured":"Kashima, R. (1994). Cut-free sequent calculi for some tense logics. Studia Logica, 53(1), 119\u2013135. https:\/\/doi.org\/10.1007\/bf01053026","journal-title":"Studia Logica"},{"key":"9838_CR30","doi-asserted-by":"publisher","unstructured":"Poggiolesi, F. (2009). Method of tree-hypersequents for modal propositional logic. In: Makinson, J.M.D., & Heinrich, W. (Eds.), Towards Mathematical Philosophy, pp. 31\u201351. Springer, Dordrecht. https:\/\/doi.org\/10.1007\/978-1-4020-9084-4_3","DOI":"10.1007\/978-1-4020-9084-4_3"},{"issue":"1","key":"9838_CR31","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1215\/00294527-2377869","volume":"55","author":"M Fitting","year":"2014","unstructured":"Fitting, M. (2014). Nested sequents for intuitionistic logics. Notre Dame Journal of Formal Logic, 55(1), 41\u201361. https:\/\/doi.org\/10.1215\/00294527-2377869","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9838_CR32","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/bf00245990","volume":"14","author":"HE Hendry","year":"1985","unstructured":"Hendry, H. E., & Pokriefka, M. L. (1985). Carnapian extensions of s5. Journal of Philosophical Logic, 14(2), 111\u2013128. https:\/\/doi.org\/10.1007\/bf00245990","journal-title":"Journal of Philosophical Logic"},{"key":"9838_CR33","first-page":"365","volume-title":"Zwischen Traditioneller und Moderner Logik: Nichtklassische Ans\u00e4tze","author":"G Schurz","year":"2001","unstructured":"Schurz, G. (2001). Rudolf Carnap\u2019s modal logic. In W. Stelzner & M. St\u00f6ckler (Eds.), Zwischen Traditioneller und Moderner Logik: Nichtklassische Ans\u00e4tze (pp. 365\u2013380). Paderborn: Mentis."},{"key":"9838_CR34","doi-asserted-by":"publisher","unstructured":"Thomason, S. K. (1973). A new representation of s5. Notre Dame Journal of Formal Logic,14(2), 281\u2013284. https:\/\/doi.org\/10.1305\/ndjfl\/1093890907","DOI":"10.1305\/ndjfl\/1093890907"},{"key":"9838_CR35","doi-asserted-by":"publisher","unstructured":"Ohnishi, M., & Matsumoto, K. (1959). Gentzen method in modal calculi, II. Osaka Mathematical Journal,11, 115\u2013120. https:\/\/doi.org\/10.2307\/2272207","DOI":"10.2307\/2272207"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-026-09838-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-026-09838-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-026-09838-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T11:34:39Z","timestamp":1778067279000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-026-09838-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["9838"],"URL":"https:\/\/doi.org\/10.1007\/s10992-026-09838-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4]]},"assertion":[{"value":"16 July 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}},{"value":"No ethical approval was required for this research.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}