{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:34:14Z","timestamp":1757543654980,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T00:00:00Z","timestamp":1600387200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T00:00:00Z","timestamp":1600387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11225-020-09924-z","type":"journal-article","created":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T14:02:50Z","timestamp":1600437770000},"page":"725-757","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Labelled Sequent Calculi for Lewis\u2019 Non-normal Propositional Modal Logics"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2810-5835","authenticated-orcid":false,"given":"Matteo","family":"Tesi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"9924_CR1","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9924_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00153-011-0254-7","volume":"51","author":"R Dyckhoff","year":"2012","unstructured":"Dyckhoff, R., and S. Negri, Proof analysis in intermediate logics, Archive for Mathematical Logic 51:71\u201392, 2012.","journal-title":"Archive for Mathematical Logic"},{"key":"9924_CR3","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s11225-014-9556-1","volume":"103","author":"DR Gilbert","year":"2015","unstructured":"Gilbert, D. R., and P. Maffezioli, Modular sequent calculi for classical modal logics, Studia Logica 103:175\u2013217, 2015.","journal-title":"Studia Logica"},{"key":"9924_CR4","unstructured":"Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic, University of California, 1968."},{"key":"9924_CR5","first-page":"206","volume-title":"The Theory of Models","author":"S Kripke","year":"1965","unstructured":"Kripke, S., Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi, in J. W. Addison, L. Henkin and A. Tarski, (eds.), The Theory of Models, North Holland, Amsterdam, 1965, pp. 206\u2013220."},{"key":"9924_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1026753129680","volume":"65","author":"R Lavendhomme","year":"2000","unstructured":"Lavendhomme, R., and T. Lucas, Sequent calculi and decision procedures for weak modal systems, Studia Logica 65:121\u2013145, 2000.","journal-title":"Studia Logica"},{"key":"9924_CR7","first-page":"558","volume-title":"LPAR-20. LNCS","author":"B Lellmann","year":"2015","unstructured":"Lellmann, B. and E. Pimentel, Proof search in nested sequent calculi, in M. Davis, A. Fehnker, A. McIver, and A. Voronkov, (eds.), LPAR-20. LNCS, vol. 9450, Springer, Berlin, 2015, pp. 558\u2013574."},{"key":"9924_CR8","unstructured":"Lewis, C. I., and C. H. Langford Symbolic Logic, New York Century Company, 1932. Reprinted: New York Dover Publication, 2 edition 1959."},{"key":"9924_CR9","first-page":"167","volume":"12","author":"K Matsumoto","year":"1960","unstructured":"Matsumoto, K., Decision procedure for modal sentential calculus S3, Osaka Mathematical Journal 12:167\u2013175, 1960.","journal-title":"Osaka Mathematical Journal"},{"key":"9924_CR10","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1007\/s00153-013-0350-y","volume":"52","author":"P Minari","year":"2013","unstructured":"Minari, P., Labelled sequent calculi for modal logic and implicit contractions, Archive for Mathematical Logic 52:881\u2013907, 2013.","journal-title":"Archive for Mathematical Logic"},{"issue":"4","key":"9924_CR11","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S., Proof Analysis in Modal Logic, Journal of Philosophical Logic 34(4):507\u2013544, 2005.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9924_CR12","first-page":"1241","volume":"4","author":"S Negri","year":"2017","unstructured":"Negri, S., Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IfCoLog Journal of Logics and their Applications, Mints\u2019 memorial issue 4(4):1241\u20131286, 2017.","journal-title":"IfCoLog Journal of Logics and their Applications, Mints\u2019 memorial issue"},{"key":"9924_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S Negri","year":"2011","unstructured":"Negri, S., and J. von Plato, Proof Analysis, Cambridge University Press, Cambridge, 2011."},{"key":"9924_CR14","first-page":"125","volume":"13","author":"M Ohnishi","year":"1961","unstructured":"Ohnishi, M., Gentzen decision procedures for Lewis\u2019 systems S2 and S3, Osaka Mathematical Journal 13:125\u2013137, 1961.","journal-title":"Osaka Mathematical Journal"},{"issue":"2","key":"9924_CR15","first-page":"113","volume":"9","author":"M Ohnishi","year":"1957","unstructured":"Ohnishi, M., and K. Matsumoto, Gentzen method in modal calculi, Osaka Math. J. 9(2):113\u2013130, 1957.","journal-title":"Osaka Math. J."},{"key":"9924_CR16","unstructured":"Priest, G., An Introduction to Non-Classical Logic. From If to Is, Cambridge University Press, Cambridge, 2001."},{"key":"9924_CR17","volume-title":"An Essay in Classical Modal Logic, Filosofiska Studier","author":"S Krister","year":"1971","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, Filosofiska Studier, vol. 13, Uppsala Universitet, Uppsala, 1971."},{"key":"9924_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A Troelstra","year":"2000","unstructured":"Troelstra, A., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, Cambridge, 2000."},{"key":"9924_CR19","volume-title":"Principia Mathematica","author":"A Whitehead","year":"1910","unstructured":"Whitehead, A., and B. Russell, Principia Mathematica, Cambridge University Press, Cambridge, 1910."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09924-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09924-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09924-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T03:54:41Z","timestamp":1723607681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09924-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,18]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9924"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09924-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,9,18]]},"assertion":[{"value":"18 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}