{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T11:29:34Z","timestamp":1772623774606,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642405365","type":"print"},{"value":"9783642405372","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40537-2_9","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T12:33:51Z","timestamp":1378902831000},"page":"81-96","source":"Crossref","is-referenced-by-count":12,"title":["Hypersequent and Labelled Calculi for Intermediate Logics"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Maffezioli","sequence":"additional","affiliation":[]},{"given":"Lara","family":"Spendier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation\u00a02(3), 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A.: A Constructive Analysis of RM. J. of Symb. Logic\u00a052(4), 939\u2013951 (1987)","journal-title":"J. of Symb. Logic"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logic. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Logic: From Foundations to Applications, pp. 1\u201332. Oxford University Press (1996)","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS 2008, pp. 229\u2013240. IEEE (2008)","DOI":"10.1109\/LICS.2008.39"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-04027-6_14","volume-title":"Computer Science Logic","author":"A. Ciabattoni","year":"2009","unstructured":"Ciabattoni, A., Stra\u00dfburger, L., Terui, K.: Expanding the realm of systematic proof theory. In: Gr\u00e4del, E., Kahle, R. (eds.) CSL 2009. LNCS, vol.\u00a05771, pp. 163\u2013178. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00153-011-0254-7","volume":"51","author":"R. Dyckhoff","year":"2012","unstructured":"Dyckhoff, R., Negri, S.: Proof analysis in intermediate logics. Archive for Mathematical Logic\u00a051(1-2), 71\u201392 (2012)","journal-title":"Archive for Mathematical Logic"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Labelled Deductive Systems: Foundations. Oxford Univ. Press (1996)","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"key":"9_CR9","unstructured":"Negri, S.: Proof analysis beyond geometric theories: from rule systems to systems of rules (submitted)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Negri, S.: Proof analysis in non-classical logics. In: Logic Coll. 2005, pp. 107\u2013128 (2007)","DOI":"10.1017\/CBO9780511546464.010"},{"key":"9_CR11","unstructured":"Negri, S.: Kripke completeness revisited. In: Primiero, G., Rahman, S. (eds.) Acts of Knowledge - History, Philosophy and Logic. College Publications (2009)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Lahav, O.: From Frame Properties to Hypersequent Rules in Modal Logics. In: Proceedings of LICS 2013 (2013)","DOI":"10.1109\/LICS.2013.47"},{"key":"9_CR13","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. North-Holland (1987)"},{"key":"9_CR14","unstructured":"Rothenberg, R.: On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics. PhD thesis (2010)"},{"key":"9_CR15","unstructured":"Simpson, A.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis (1994)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer (2000)","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"9_CR17","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 Logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, pp. 61\u2013145. Kluwer, Dordrecht (2002)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40537-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T20:18:58Z","timestamp":1715977138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40537-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405365","9783642405372"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40537-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}