{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:32Z","timestamp":1725533852521},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027154"},{"type":"electronic","value":"9783642027161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02716-1_15","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T00:22:21Z","timestamp":1246321341000},"page":"189-204","source":"Crossref","is-referenced-by-count":4,"title":["Taming Displayed Tense Logics Using Nested Sequents with Deep Inference"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Gor\u00e9","sequence":"first","affiliation":[]},{"given":"Linda","family":"Postniece","sequence":"additional","affiliation":[]},{"given":"Alwen","family":"Tiu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/B:JLLI.0000024730.34743.fa","volume":"13","author":"C. Areces","year":"2004","unstructured":"Areces, C., Bernardi, R.: Analyzing the core of categorial grammar. Journal of Logic, Language, and Information\u00a013(2), 121\u2013137 (2004)","journal-title":"Journal of Logic, Language, and Information"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N. Belnap","year":"1982","unstructured":"Belnap, N.: Display logic. Journal of Philosophical Logic\u00a011, 375\u2013417 (1982)","journal-title":"Journal of Philosophical Logic"},{"key":"15_CR3","unstructured":"Br\u00fcnnler, K.: Deep sequent systems for modal logic. In: Governatori, G., et al. (eds.) Advances in Modal Logic 6, pp. 107\u2013119. College Publications (2006)"},{"key":"15_CR4","unstructured":"Br\u00fcnnler, K.: Deep sequents for modal logic (unpublished, 2007)"},{"issue":"3\/4","key":"15_CR5","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/FI-1997-323404","volume":"32","author":"M.A. Castilho","year":"1997","unstructured":"Castilho, M.A., Cerro, L.F.D., Gasquet, O., Herzig, A.: Modal tableaux with propagation rules and structural rules. Fundamenta Informaticae\u00a032(3\/4), 281\u2013297 (1997)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"15_CR6","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/jigpal\/6.5.669","volume":"6","author":"R. Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R., Gaggles, Gentzen, Galois: How to display your favourite substructural logic. Logic Journal of the IGPL\u00a06(5), 669\u2013694 (1998)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"15_CR7","first-page":"451","volume":"6","author":"R. Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R.: Substructural logics on display. LJIGPL\u00a06(3), 451\u2013504 (1998)","journal-title":"LJIGPL"},{"key":"15_CR8","unstructured":"Gor\u00e9, R., Postniece, L., Tiu, A.: Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. In: AiML. College Publications (2008)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Heuerding, A., Seyfried, M., Zimmermann, H.: Efficient loop-check for backward proof search in some non-classical propositional logics. In: Miglioli, P., Moscato, U., Ornaghi, M., Mundici, D. (eds.) TABLEAUX 1996. LNCS(LNAI), vol.\u00a01071, pp. 210\u2013225. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61208-4_14"},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL\u00a08(3), 239\u2013264 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"15_CR11","unstructured":"Indrzejczak, A.: Multiple sequent calculus for tense logics. In: International Conference on Temporal Logic, Leipzig, pp. 93\u2013104 (2000)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01053026","volume":"53","author":"R. Kashima","year":"1994","unstructured":"Kashima, R.: Cut-free sequent calculi for some tense logics. Studia Logica\u00a053, 119\u2013135 (1994)","journal-title":"Studia Logica"},{"key":"15_CR13","first-page":"92","volume-title":"Proof Theory of Modal Logics","author":"M. Kracht","year":"1996","unstructured":"Kracht, M.: Power and weakness of the modal display calculus. In: Wansing, H. (ed.) Proof Theory of Modal Logics, pp. 92\u2013121. Kluwer, Dordrecht (1996)"},{"issue":"5\u20136","key":"15_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. JPL\u00a034(5\u20136), 507\u2013544 (2005)","journal-title":"JPL"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F.: The tree-hypersequent method for modal propositional logic. In: Trends in Logic: Towards Mathematical Philsophy, pp. 9\u201330 (2009)","DOI":"10.1007\/978-1-4020-9084-4_3"},{"issue":"2","key":"15_CR16","first-page":"75","volume":"13","author":"K. Trzesicki","year":"1984","unstructured":"Trzesicki, K.: Gentzen-style axiomatization of tense logic. Bulleting of the Section of Logic\u00a013(2), 75\u201384 (1984)","journal-title":"Bulleting of the Section of Logic"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","volume":"4","author":"H. Wansing","year":"1994","unstructured":"Wansing, H.: Sequent calculi for normal modal proposisional logics. Journal of Logic and Computation\u00a04(2), 125\u2013142 (1994)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR18","doi-asserted-by":"crossref","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)"}],"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-02716-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:26:27Z","timestamp":1606166787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02716-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027154","9783642027161"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02716-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}