{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:30:59Z","timestamp":1763641859821,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319100609"},{"type":"electronic","value":"9783319100616"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10061-6_4","type":"book-chapter","created":{"date-parts":[[2014,11,5]],"date-time":"2014-11-05T11:34:11Z","timestamp":1415187251000},"page":"51-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Hypersequent Calculi for Modal Logics Extending S4"],"prefix":"10.1007","author":[{"given":"Hidenori","family":"Kurokawa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,6]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.fss.2009.09.001","volume":"161","author":"G Metcalfe","year":"2010","unstructured":"Metcalfe, G., Ciabattoni, A., Montagna, F.: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3), 369\u2013389 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Proceedings of Logic Colloquium, Logic: From Foundations to Applications, Keele, UK, 1993, pp. 1\u201332. Oxford University Press, New York (1996)","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"M Baaz","year":"2003","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Hypersequent calculi for G\u00f6del logics - a survey. J. Logic Comput. 13, 1\u201327 (2003)","journal-title":"J. Logic Comput."},{"key":"4_CR4","unstructured":"K. Br\u00fcnnler. Nested sequents (habilitationsschrift) (2010)"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s005000050047","volume":"2","author":"A Ciabattoni","year":"1998","unstructured":"Ciabattoni, A., Gabbay, D.M., Olivetti, N.: Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4), 147\u2013156 (1998)","journal-title":"Soft Comput."},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K Do\u0161en","year":"1989","unstructured":"Do\u0161en, K.: Logical constants as punctuation marks. Notre Dame J. Formal Logic 30(3), 362\u2013381 (1989)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"4_CR7","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF00260931","volume":"21","author":"K Do\u0161en","year":"1992","unstructured":"Do\u0161en, K.: Modal translations in substructural logics. J. Philos. Logic 21(3), 283\u2013336 (1992)","journal-title":"J. Philos. Logic"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1111\/j.1755-2567.1969.tb00372.x","volume":"35","author":"M Fitting","year":"1969","unstructured":"Fitting, M.: Logics with several modal operators. Theoria 35, 259\u2013266 (1969)","journal-title":"Theoria"},{"key":"4_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logic","author":"M Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logic. Reidel Publishing Company, Dordrecht (1983)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: gain and questions. J. Logic Comput. 2(1), 5\u201330 (1992)","journal-title":"J. Logic Comput."},{"issue":"1","key":"4_CR11","first-page":"89","volume":"41","author":"A Indrzejczak","year":"2012","unstructured":"Indrzejczak, A.: Cut-free hypersequent calculus for S4.3. Bull. Sect. Logic 41(1), 89\u2013104 (2012)","journal-title":"Bull. Sect. Logic"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-94-017-2798-3_7","volume-title":"Proof Theory of Modal Logic","author":"M Kracht","year":"1996","unstructured":"Kracht, M.: Power and weakness of the modal display calculus. Proof Theory of Modal Logic, pp. 93\u2013121. Kluwer Academic Publishers, Dordrecht (1996)"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/j.apal.2009.07.013","volume":"161","author":"H Kurokawa","year":"2009","unstructured":"Kurokawa, H.: Hypersequent calculi for intuitionistic logic with classical atoms. Ann. Pure Appl. Logic 161(3), 427\u2013446 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Lahav, O.: From frame properties to hypersequent rules in modal logics. In: LICS, pp. 408\u2013417 (2013)","DOI":"10.1109\/LICS.2013.47"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/S0027763000018055","volume":"7","author":"S Maehara","year":"1954","unstructured":"Maehara, S.: Eine darstellung der intuitionistischen logik in der klassischen. Nagoya Math. J. 7, 45\u201364 (1954)","journal-title":"Nagoya Math. J."},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s11225-006-6608-1","volume":"82","author":"G Mints","year":"2006","unstructured":"Mints, G.: Cut elimination for S4C: a case study. Stud. Logica. 82(1), 121\u2013132 (2006)","journal-title":"Stud. Logica."},{"issue":"5\u20136","key":"4_CR17","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"N Negri","year":"2005","unstructured":"Negri, N.: Proof analysis in modal logic. J. Philos. Logic 34(5\u20136), 507\u2013544 (2005)","journal-title":"J. Philos. Logic"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1023\/A:1025648722188","volume":"32","author":"F Paoli","year":"2003","unstructured":"Paoli, F.: Quine and Slater on paraconsistency and deviance. J. Philos. Logic 32(2), 531\u2013548 (2003)","journal-title":"J. Philos. Logic"},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symbolic Logic 65(3), 979\u20131013 (2000)","journal-title":"J. Symbolic Logic"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-51237-3_20","volume-title":"Logic at Botik \u201989","author":"GF Shvarts","year":"1989","unstructured":"Shvarts, G.F.: Gentzen style systems for K45 and K45D. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik \u201989. LNCS, vol. 363, pp. 245\u2013256. Springer, Heidelberg (1989)"},{"key":"4_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1280-4","volume-title":"Displaying Modal Logic","author":"H Wansing","year":"1998","unstructured":"Wansing, H.: Displaying Modal Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-94-010-0387-2_2","volume-title":"Handbook of Philosophical Logic","author":"H Wansing","year":"2002","unstructured":"Wansing, H.: Sequent systems for modal logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, 2nd edn, pp. 61\u2013146. Kluwer Academic Publishers, Amsterdam (2002)","edition":"2"},{"key":"4_CR23","volume-title":"Modal Logic\/The Lewis-Modal System","author":"JJ Zeman","year":"1973","unstructured":"Zeman, J.J.: Modal Logic\/The Lewis-Modal System, 1st edn. Oxford University Press, Oxford (1973)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10061-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,4]],"date-time":"2024-06-04T19:19:09Z","timestamp":1717528749000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10061-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319100609","9783319100616"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10061-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}