{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:19:33Z","timestamp":1772533173137,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,1,19]],"date-time":"2018-01-19T00:00:00Z","timestamp":1516320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11225-017-9778-0","type":"journal-article","created":{"date-parts":[[2018,1,19]],"date-time":"2018-01-19T07:35:59Z","timestamp":1516347359000},"page":"85-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Logicality, Double-Line Rules, and Modalities"],"prefix":"10.1007","volume":"107","author":[{"given":"Norbert","family":"Gratzl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4021-8667","authenticated-orcid":false,"given":"Eugenio","family":"Orlandelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,19]]},"reference":[{"issue":"1","key":"9778_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"Arnon A","year":"1991","unstructured":"Avron, A., Simple consequence relations, Inf. Comput. 92(1):105\u2013139, 1991.","journal-title":"Inf. Comput."},{"issue":"4","key":"9778_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap","year":"1982","unstructured":"Belnap, N.D., Display logic, Journal of Philosophical Logic 11(4):375\u2013417, 1982.","journal-title":"Journal of Philosophical Logic"},{"key":"9778_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-94-017-2798-3_6","volume-title":"Proof Theory of Modal Logic","author":"ND Belnap","year":"1996","unstructured":"Belnap, N.D., The display problem, in H. Wansing, (ed.), Proof Theory of Modal Logic, Springer Netherlands, Dordrecht, 1996, pp. 79\u201392."},{"issue":"2","key":"9778_CR4","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/01445340.2016.1278517","volume":"38","author":"D Binder","year":"2017","unstructured":"Binder, D., and T. Piecha, Popper\u2019s notion of duality and his theory of negations, History and Philosophy of Logic 38(2):154\u2013189, 2017.","journal-title":"History and Philosophy of Logic"},{"key":"9778_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.26686\/ajl.v3i0.1771","volume":"3","author":"D Bonnay","year":"2005","unstructured":"Bonnay, D., and B. Simmenauer, Tonk strikes back, Australasian Journal of Logic 3:33\u201344, 2005.","journal-title":"Australasian Journal of Logic"},{"issue":"3","key":"9778_CR6","doi-asserted-by":"publisher","first-page":"17:1","DOI":"10.1145\/2874775","volume":"17","author":"A Ciabattoni","year":"2016","unstructured":"Ciabattoni, A., and R. Ramanayake, Power and limits of structural display rules, ACM Trans. Comput. Logic 17(3):17:1\u201317:39, 2016.","journal-title":"ACM Trans. Comput. Logic"},{"key":"9778_CR7","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., and R. Giuntini, Quantum logics, in D.M. Gabbay, and F. Guenthner, (eds.), Philosophical Logic, vol. VI, Springer, Netherlands, Dordrecht, 2002, pp. 129\u2013228.","DOI":"10.1007\/978-94-017-0460-1_2"},{"issue":"3","key":"9778_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1017\/S1755020316000162","volume":"9","author":"B Dicher","year":"2016","unstructured":"Dicher, B., Weak disharmony: Some lessons for proof-theoretic semantics, Review of Symbolic Logic 9(3):583\u2013602, 2016.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"9778_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.2307\/2273797","volume":"50","author":"K Dos\u0306en","year":"1985","unstructured":"Dos\u0306en, K., Sequent-systems for modal logic, Journal of Symbolic Logic 50(1):149\u2013168, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"9778_CR10","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K Dos\u0306en","year":"1989","unstructured":"Dos\u0306en, K., Logical constants as punctuation marks, Notre Dame Journal of Formal Logic 30:362\u2013381, 1989.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9778_CR11","unstructured":"Garson, J., Modal logic, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, spring 2016 edn., Metaphysics Research Lab, Stanford University, 2016."},{"issue":"5","key":"9778_CR12","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 and Galois: How to display your favourite substructural logic, Logic Journal of the IGPL 6(5):669\u2013694, 1998.","journal-title":"Logic Journal of the IGPL"},{"key":"9778_CR13","unstructured":"Gratzl, N., and E. Orlandelli, Double-line harmony in sequent calculi, in P.\u00a0Arazim, and T.\u00a0Lavicka, (eds.), The Logica Yearbook 2016, College Publications, 2017, pp. 157\u2013171."},{"key":"9778_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2307\/2025471","volume":"76","author":"I Hacking","year":"1979","unstructured":"Hacking, I., What is logic?, The Journal of Philosophy 76:285\u2013319, 1979.","journal-title":"The Journal of Philosophy"},{"key":"9778_CR15","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/s10992-013-9310-6","volume":"44","author":"N K\u00fcrbis","year":"2015","unstructured":"K\u00fcrbis, N., Proof-theoretic semantics, a problem with negation and prospects for modalities, Journal of Philosophical Logic 44:713\u2013727, 2015.","journal-title":"Journal of Philosophical Logic"},{"key":"9778_CR16","doi-asserted-by":"crossref","unstructured":"Kracht, M., Power and weakness of the modal display calculus, in H. Wansing, (ed.), Proof Theory of Modal Logic, Kluwer, 1996, pp. 93\u2013121.","DOI":"10.1007\/978-94-017-2798-3_7"},{"key":"9778_CR17","unstructured":"MacFarlane, J., Logical constants, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, fall 2015 edn., Metaphysics Research Lab, Stanford University, 2015."},{"key":"9778_CR18","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., Hauptsatz for the intuitionistic theory of iterated inductive definitions, in J.E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, vol.\u00a063, Elsevier, 1971, pp. 179\u2013216.","DOI":"10.1016\/S0049-237X(08)70847-4"},{"key":"9778_CR19","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1111\/theo.12051","volume":"81","author":"A Naibo","year":"2015","unstructured":"Naibo, A., and M. Petrolo, Are uniqueness and deducibility of identicals the same?, Theoria 81:143\u2013181, 2015.","journal-title":"Theoria"},{"key":"9778_CR20","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"33","author":"S Negri","year":"2005","unstructured":"Negri, S., Proof analysis in modal logics, Journal of Philosophical Logic 33:507\u2013544, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"9778_CR21","doi-asserted-by":"crossref","unstructured":"Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511527340"},{"issue":"3","key":"9778_CR22","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-008-9425-4","volume":"173","author":"F Poggiolesi","year":"2010","unstructured":"Poggiolesi, F., Display calculi and other modal calculi: A comparison, Synthese 173(3):259\u2013279, 2010.","journal-title":"Synthese"},{"key":"9778_CR23","first-page":"1214","volume":"50","author":"KR Popper","year":"1947","unstructured":"Popper, K.R., Functional logic without axioms or primitive rules of inference, Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences 50:1214\u20131224, 1947.","journal-title":"Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences"},{"key":"9778_CR24","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1093\/aristotelian\/47.1.251","volume":"47","author":"KR Popper","year":"1947","unstructured":"Popper, K.R., Logic without assumptions, Proceedings of the Aristotelian Society 47:251\u2013292, 1947.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"9778_CR25","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1093\/mind\/LVI.223.193","volume":"56","author":"KR Popper","year":"1947","unstructured":"Popper, K.R., New foundations for logic, Mind 56:193\u2013235, 1947.","journal-title":"Mind"},{"key":"9778_CR26","unstructured":"Prawitz, D., Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiskell, 1965."},{"key":"9778_CR27","unstructured":"Read, S., Harmony and modality, in C.\u00a0D\u00e9gremont, (ed.), Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, College Publications, 2008, pp. 285\u2013303."},{"key":"9778_CR28","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., G. Battilotti, and C. Faggian, Basic logic, Journal of Symbolic Logic 65:979\u20131013, 2000.","journal-title":"Journal of Symbolic Logic"},{"key":"9778_CR29","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1080\/01445348408837064","volume":"5","author":"P Schroeder-Heister","year":"1984","unstructured":"Schroeder-Heister, P., Popper\u2019s theory of deductive inference and the concept of a logical constant, History and Philosophy of Logic 5:79\u2013110, 1984.","journal-title":"History and Philosophy of Logic"},{"issue":"1","key":"9778_CR30","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11245-012-9119-x","volume":"31","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P., Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning, Topoi 31(1):77\u201385, 2012.","journal-title":"Topoi"},{"issue":"2","key":"9778_CR31","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 propositional logics, Journal of Logic and Computation 4(2):125\u2013142, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"9778_CR32","doi-asserted-by":"crossref","unstructured":"Wansing, H., Displaying Modal Logic, Kluwer, 1998.","DOI":"10.1007\/978-94-017-1280-4"},{"key":"9778_CR33","unstructured":"Wolenski, J., First-order logic: (Philosophical) pro and contra, in V.F. Hendricks, (ed.), First-Order Logic Revisited, Logos, 2004, pp. 369\u2013398."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9778-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9778-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9778-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T11:33:47Z","timestamp":1570620827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9778-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,19]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9778"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9778-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,19]]},"assertion":[{"value":"19 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}