{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:58Z","timestamp":1760202658183},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_14","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T03:54:23Z","timestamp":1356062063000},"page":"148-160","source":"Crossref","is-referenced-by-count":7,"title":["Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Lellmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-70525-3_9","volume-title":"Deontic Logic in Computer Science","author":"M. Abadi","year":"2008","unstructured":"Abadi, M.: Variations in Access Control Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 96\u2013109. Springer, Heidelberg (2008)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-44802-0_21","volume-title":"Computer Science Logic","author":"N. Alechina","year":"2001","unstructured":"Alechina, N., Mendler, M., de Paiva, V., Ritter, E.: Categorical and Kripke Semantics for Constructive S4 Modal Logic. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142, pp. 292\u2013307. Springer, Heidelberg (2001)"},{"key":"14_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-22119-4_6","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A. Avron","year":"2011","unstructured":"Avron, A., Lahav, O.: Kripke Semantics for Basic Sequent Systems. In: Br\u00fcnnler, K., Metcalfe, G. (eds.) TABLEAUX 2011. LNCS (LNAI), vol.\u00a06793, pp. 43\u201357. Springer, Heidelberg (2011)"},{"key":"14_CR4","unstructured":"Bellin, G., de Paiva, V., Ritter, E.: Extended Curry-Howard correspondence for a basic contructive modal logic. In: Areces, C., de Rijke, M. (eds.) M4M-2. ILLC Amsterdam (2001)"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1017\/S0956796898002998","volume":"8","author":"P. Benton","year":"1998","unstructured":"Benton, P., Bierman, G., de Paiva, V.: Computational types from a logical perspective. J. Funct. Programming\u00a08(2), 177\u2013193 (1998)","journal-title":"J. Funct. Programming"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: From axioms to analytic rules in nonclassical logics. In: LICS 2008, pp. 229\u2013240. IEEE Computer Society (2008)","DOI":"10.1109\/LICS.2008.39"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2627","volume":"137","author":"M. Fairtlough","year":"1997","unstructured":"Fairtlough, M., Mendler, M.: Propositional lax logic. Inform. and Comput.\u00a0137(1), 1\u201333 (1997)","journal-title":"Inform. and Comput."},{"issue":"2","key":"14_CR8","first-page":"176","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. I. Math. Z.\u00a039(2), 176\u2013210 (1934)","journal-title":"Math. Z."},{"key":"14_CR9","first-page":"119","volume":"4","author":"I. Johansson","year":"1937","unstructured":"Johansson, I.: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compos. Math.\u00a04, 119\u2013136 (1937)","journal-title":"Compos. Math."},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-22119-4_17","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"B. Lellmann","year":"2011","unstructured":"Lellmann, B., Pattinson, D.: Cut Elimination for Shallow Modal Logics. In: Br\u00fcnnler, K., Metcalfe, G. (eds.) TABLEAUX 2011. LNCS, vol.\u00a06793, pp. 211\u2013225. Springer, Heidelberg (2011)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-642-33353-8_25","volume-title":"Logics in Artificial Intelligence","author":"B. Lellmann","year":"2012","unstructured":"Lellmann, B., Pattinson, D.: Sequent Systems for Lewis\u2019 Conditional Logics. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 320\u2013332. Springer, Heidelberg (2012)"},{"key":"14_CR12","unstructured":"Lewis, D.: Counterfactuals. Blackwell (1973)"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1016\/j.ic.2011.10.003","volume":"209","author":"M. Mendler","year":"2011","unstructured":"Mendler, M., Scheele, S.: Cut-free Gentzen calculus for multimodal CK. Inform. and Comput.\u00a0209, 1465\u20131490 (2011)","journal-title":"Inform. and Comput."},{"key":"14_CR14","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. J. Philos. Logic\u00a034, 507\u2013544 (2005)","journal-title":"J. Philos. Logic"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Negri, S., von Plato, J.: Structural proof theory. Cambridge University Press (2001)","DOI":"10.1017\/CBO9780511527340"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Pattinson, D., Schr\u00f6der, L.: Generic modal cut elimination applied to conditional logics. Log. Methods Comput. Sci.\u00a07(1) (2011)","DOI":"10.2168\/LMCS-7(1:4)2011"},{"issue":"4","key":"14_CR17","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F. Pfenning","year":"2001","unstructured":"Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Math. Structures Comput. Sci.\u00a011(4), 511\u2013540 (2001)","journal-title":"Math. Structures Comput. Sci."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge Tracts Theoret. Comput. Sci. Cambridge University Press (2000)","DOI":"10.1017\/CBO9781139168717"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Wansing, H.: Sequent systems for modal logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a08. Springer (2002)","DOI":"10.1007\/978-94-010-0387-2_2"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:40:31Z","timestamp":1558302031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}