{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:38:25Z","timestamp":1763642305751},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_8","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"120-139","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["From Display to Labelled Proofs for Tense Logics"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[]},{"given":"Tim","family":"Lyon","sequence":"additional","affiliation":[]},{"given":"Revantha","family":"Ramanayake","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap Jr","year":"1982","unstructured":"Belnap Jr., N.D.: Display logic. J. Philos. Logic 11(4), 375\u2013417 (1982)","journal-title":"J. Philos. Logic"},{"key":"8_CR2","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)"},{"key":"8_CR3","unstructured":"Br\u00fcnnler. K.: Deep sequent systems for modal logic. In: Advances in Modal Logic, vol. 6, pp. 107\u2013119. College Publications, London (2006)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00370331","volume":"51","author":"A Chagrov","year":"1992","unstructured":"Chagrov, A., Zakharyashchev, M.: Modal companions of intermediate propositional logics. Stud. Logica. 51(1), 49\u201382 (1992)","journal-title":"Stud. Logica."},{"issue":"3","key":"8_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2874775","volume":"17","author":"A Ciabattoni","year":"2016","unstructured":"Ciabattoni, A., Ramanayake, R.: Power and limits of structural display rules. ACM Trans. Comput. Logic 17(3), 1\u201339 (2016)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1\u20132","key":"8_CR6","doi-asserted-by":"crossref","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. Arch. Math. Log. 51(1\u20132), 71\u201392 (2012)","journal-title":"Arch. Math. Log."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1017\/bsl.2015.7","volume":"21","author":"R Dyckhoff","year":"2015","unstructured":"Dyckhoff, R., Negri, S.: Geometrization of first-order logic. Bull. Symbolic Logic 21, 123\u2013163 (2015)","journal-title":"Bull. Symbolic Logic"},{"key":"8_CR8","series-title":"Synthese Library","doi-asserted-by":"crossref","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. Synthese Library, vol. 169. D. Reidel Publishing Co., Dordrecht (1983)"},{"issue":"3","key":"8_CR9","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.apal.2011.09.004","volume":"163","author":"M Fitting","year":"2012","unstructured":"Fitting, M.: Prefixed tableaus and nested sequents. Ann. Pure Appl. Logic 163(3), 291\u2013313 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"8_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-7(2:8)2011","volume":"7","author":"R Gor\u00e9","year":"2011","unstructured":"Gor\u00e9, R., Postniece, L., Tiu, A.: On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Log. Methods Comput. Sci. 7(2), 1\u201338 (2011). (2:8)","journal-title":"Log. Methods Comput. Sci."},{"key":"8_CR11","unstructured":"Gor\u00e9, R., Ramanayake, R.: Labelled tree sequents, tree hypersequents and nested (deep) sequents. In: Advances in Modal Logic, vol. 9. College Publications, London (2012)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Logic Comput. (2016, to appear). https:\/\/doi.org\/10.1093\/logcom\/exw022","DOI":"10.1093\/logcom\/exw022"},{"issue":"1","key":"8_CR13","doi-asserted-by":"crossref","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. Stud. Logica. 53(1), 119\u2013135 (1994)","journal-title":"Stud. Logica."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Kracht, M.: Power and weakness of the modal display calculus. In: Proof Theory of Modal Logic (Hamburg, 1993) Applied Logic Series, vol. 2, pp. 93\u2013121. Kluwer Academic Publishers, Dordrecht (1996)","DOI":"10.1007\/978-94-017-2798-3_7"},{"key":"8_CR15","volume-title":"The \u2018Lemmon Notes\u2019: An Introduction to Modal Logic","author":"EJ Lemmon","year":"1977","unstructured":"Lemmon, E.J., Scott, D.S.: The \u2018Lemmon Notes\u2019: An Introduction to Modal Logic. Blackwell, Oxford (1977)"},{"issue":"6","key":"8_CR16","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1023\/A:1017948105274","volume":"26","author":"G Mints","year":"1997","unstructured":"Mints, G.: Indexed systems of sequents and cut-elimination. J. Philos. Logic 26(6), 671\u2013696 (1997)","journal-title":"J. Philos. Logic"},{"issue":"5\u20136","key":"8_CR17","doi-asserted-by":"crossref","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 34(5\u20136), 507\u2013544 (2005)","journal-title":"J. Philos. Logic"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Ramanayake, R.: Inducing syntactic cut-elimination for indexed nested sequents. In: Proceedings of IJCAR, pp. 416\u2013432 (2016)","DOI":"10.1007\/978-3-319-40229-1_29"},{"key":"8_CR19","unstructured":"Restall, G.: Comparing modal sequent systems. http:\/\/consequently.org\/papers\/comparingmodal.pdf"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Restall, G., Poggiolesi, F.: Interpreting and applying proof theory for modal logic. In: Restall, G., Russell, G. (eds.) New Waves in Philosophical Logic, pp. 39\u201362 (2012)","DOI":"10.1057\/9781137003720"},{"key":"8_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled Non-Classical Logics","author":"L Vigan\u00f2","year":"2000","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer Academic Publishers, Dordrecht (2000). With a foreword by Dov M. Gabbay"},{"key":"8_CR22","series-title":"Trends in Logic-Studia Logica Library","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. Trends in Logic-Studia Logica Library, vol. 3. Kluwer Academic Publishers, Dordrecht (1998)"}],"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-72056-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T21:35:27Z","timestamp":1603402527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}