{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:39:11Z","timestamp":1725842351388},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319276823"},{"type":"electronic","value":"9783319276830"}],"license":[{"start":{"date-parts":[[2015,12,10]],"date-time":"2015-12-10T00:00:00Z","timestamp":1449705600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-27683-0_15","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T21:16:29Z","timestamp":1449695789000},"page":"202-218","source":"Crossref","is-referenced-by-count":1,"title":["Interpolation Method for Multicomponent Sequent Calculi"],"prefix":"10.1007","author":[{"given":"Roman","family":"Kuznets","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"15_CR1","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.) Logic: From Foundations to Applications: European Logic Colloquium, pp. 1\u201332. Clarendon Press (1996)","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"15_CR2","unstructured":"Br\u00fcnnler, K.: Nested Sequents. Habilitation thesis, Institut f\u00fcr Informatik und angewandte Mathematik, Universit\u00e4t Bern (2010)"},{"issue":"3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W Craig","year":"1957","unstructured":"Craig, W.: Three uses of the herbrand-gentzen theorem in relating model theory and proof theory. J. Symbolic Log. 22(3), 269\u2013285 (1957)","journal-title":"J. Symbolic Log."},{"key":"15_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Company, Dordrecht (1983)"},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1215\/00294527-2377869","volume":"55","author":"M Fitting","year":"2014","unstructured":"Fitting, M.: Nested sequents for intuitionistic logics. Notre Dame J. Form. Log. 55(1), 41\u201361 (2014)","journal-title":"Notre Dame J. Form. Log."},{"issue":"3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.apal.2014.11.002","volume":"166","author":"M Fitting","year":"2015","unstructured":"Fitting, M., Kuznets, R.: Modal interpolation via nested sequents. Ann. Pure Appl. Logic 166(3), 274\u2013305 (2015)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1\u20132","key":"15_CR7","first-page":"89","volume":"41","author":"A Indrzejczak","year":"2012","unstructured":"Indrzejczak, A.: Cut-free hypersequent calculus for S4.3. Bull. Sect. Logic Univ. L\u00f3dz 41(1\u20132), 89\u2013104 (2012)","journal-title":"Bull. Sect. Logic Univ. L\u00f3dz"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-319-10061-6_4","volume-title":"New Frontiers in Artificial Intelligence","author":"H Kurokawa","year":"2014","unstructured":"Kurokawa, H.: Hypersequent calculi for modal logics extending S4. In: Nakano, Y., Satoh, K., Bekki, D. (eds.) JSAI-isAI 2013. LNCS, vol. 8417, pp. 51\u201368. Springer, Heidelberg (2014)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Kuznets, R.: Craig interpolation via hypersequents. In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Verlag, Accepted (2016)","DOI":"10.1515\/9781501502620-012"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Kuznets, R., Lellmann, B.: Grafting Hypersequents onto Nested Sequents. E-print arXiv:1502.00814 , August 2015","DOI":"10.1093\/jigpal\/jzw005"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Lahav, O.: From frame properties to hypersequent rules in modal logics. In: 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 408\u2013417. IEEE Press (2013)","DOI":"10.1109\/LICS.2013.47"},{"key":"15_CR12","unstructured":"Maehara, S.: On the Interpolation Theorem of Craig (in Japanese). Sugaku 12(4), 235\u2013237 (1960\u20131961)"},{"issue":"6","key":"15_CR13","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/BF01982206","volume":"21","author":"LL Maksimova","year":"1982","unstructured":"Maksimova, L.L.: Absence of the interpolation property in the consistent normal modal extensions of the dummett logic. Algebra Log. 21(6), 460\u2013463 (1982)","journal-title":"Algebra Log."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Restall, G.: Proofnets for S5: sequents and circuits for modal logic. In: Dimitracopoulos, C., Newelski, L., Normann, D., Steel, J.R. (eds.) Logic Colloquium 2005, pp. 151\u2013172. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511546464.012"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27683-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T23:16:32Z","timestamp":1718234192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27683-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,10]]},"ISBN":["9783319276823","9783319276830"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27683-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015,12,10]]}}}