{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:55:24Z","timestamp":1757627724776,"version":"3.44.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032045867"},{"type":"electronic","value":"9783032045874"}],"license":[{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-04587-4_11","type":"book-chapter","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T09:29:31Z","timestamp":1756805371000},"page":"171-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["GL-Based Calculi for\u00a0PCL and\u00a0Its Deontic Cousin"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Rozplokhas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Tesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/978-94-009-6259-0_11","volume-title":"Handbook of Philosophical Logic","author":"L \u00c5qvist","year":"1984","unstructured":"\u00c5qvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 605\u2013714. Springer, Dordrecht (1984)"},{"issue":"4","key":"11_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. Symb. Logic 52(4), 939\u2013951 (1987)","journal-title":"J. Symb. Logic"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications, pp. 1\u201332. OUP, New York (1996)","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4, 225\u2013248 (1991)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J van Benthem","year":"2009","unstructured":"van Benthem, J., Girard, P., Roy, O.: Everything else being equal: a modal logic for ceteris paribus preferences. J. Phil. Logic 38(1), 83\u2013125 (2009)","journal-title":"J. Phil. Logic"},{"key":"11_CR6","unstructured":"Boutilier, C.: Conditional logics of normality as modal systems. In: Shrobe, H.E., Dietterich, T.G., Swartout, W.R. (eds.) Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes, pp. 594\u2013599. AAAI Press\/The MIT Press (1990)"},{"issue":"3","key":"11_CR7","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1305\/ndjfl\/1093883456","volume":"22","author":"J Burgess","year":"1981","unstructured":"Burgess, J.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Logic 22(3), 76\u201384 (1981)","journal-title":"Notre Dame J. Formal Logic"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Olivetti, N., Parent, X.: Dyadic obligations: proofs and countermodels via hypersequents. In: Aydo\u011fan, R., Criado, N., Lang, J., Sanchez-Anguix, V., Serramia, M. (eds.) PRIMA 2022, pp. 54\u201371. Springer (2022)","DOI":"10.1007\/978-3-031-21203-1_4"},{"key":"11_CR9","unstructured":"Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, R., Rozplokhas, D.: Analytic proof theory for Aqvist\u2019s system F. In: Maranh\u00e3o, J., Peterson, C., Stra\u00dfer, C., van\u00a0der Torre, L. (eds.) DEON 2023, pp. 79\u201398 (2023)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Tesi, M.: Sequents vs hypersequents for \u00e5qvist systems. In: Benzm\u00fcller, C., Heule, M.J.H., Schmidt, R.A. (eds.) Automated Reasoning - 12th International Joint Conference, IJCAR. Lecture Notes in Computer Science, vol. 14740, pp. 176\u2013195. Springer (2024)","DOI":"10.1007\/978-3-031-63501-4_10"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Friedman, N., Halpern, J.Y.: On the complexity of conditional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994). Bonn, Germany, May 24-27, 1994, pp. 202\u2013213. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50115-9"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3), 18:1\u201318:47 (2009)","DOI":"10.1145\/1507244.1507248"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Schwind, C.: Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Logic 10(3) (2009)","DOI":"10.1145\/1507244.1507251"},{"key":"11_CR14","unstructured":"Girlando, M.: On the Proof Theory of Conditional Logics. Theses, Aix-Marseille Universite; Helsinki University (2019)"},{"issue":"3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1093\/logcom\/exab019","volume":"31","author":"M Girlando","year":"2021","unstructured":"Girlando, M., Negri, S., Olivetti, N.: Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. J. Log. Comput. 31(3), 947\u2013997 (2021)","journal-title":"J. Log. Comput."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Girlando, M., Negri, S., Sbardolini, G.: Uniform labelled calculi for conditional and counterfactual logics. In: Iemhoff, R., Moortgat, M., de\u00a0Queiroz, R.J.G.B. (eds.) WoLLIC 2019. Lecture Notes in Computer Science, vol. 11541, pp. 248\u2013263. Springer (2019)","DOI":"10.1007\/978-3-662-59533-6_16"},{"key":"11_CR17","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North Holland, Amsterdam (1952)"},{"issue":"1\u20132","key":"11_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1\u20132), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Kurokawa, H.: Hypersequent calculi for modal logics extending S4. In: New Frontiers in Artificial Intelligence. LNCS, vol.\u00a08417, pp. 51\u201368. Springer (2013)","DOI":"10.1007\/978-3-319-10061-6_4"},{"issue":"3","key":"11_CR20","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1093\/jigpal\/jzw005","volume":"24","author":"R Kuznets","year":"2016","unstructured":"Kuznets, R., Lellmann, B.: Grafting hypersequents onto nested sequents. Log. J. IGPL 24(3), 375\u2013423 (2016)","journal-title":"Log. J. IGPL"},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D Makinson","year":"1993","unstructured":"Makinson, D.: Five faces of minimality. Stud. Logica. 52(3), 339\u2013379 (1993)","journal-title":"Stud. Logica."},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Nalon, C., Pattinson, D.: A resolution-based calculus for preferential logics. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 498\u2013515. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94205-6_33","DOI":"10.1007\/978-3-319-94205-6_33"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"Negri, S., Olivetti, N.: A sequent calculus for preferential conditional logic based on neighbourhood semantics. In: De Nivelle, H. (ed.) TABLEAUX 2015. LNCS (LNAI), vol. 9323, pp. 115\u2013134. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24312-2_9","DOI":"10.1007\/978-3-319-24312-2_9"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Parent, X.: Maximality vs. optimality in dyadic deontic logic. J. Philos. Log. 43(6), 1101\u20131128 (2014)","DOI":"10.1007\/s10992-013-9308-0"},{"key":"11_CR25","unstructured":"Schr\u00f6der, L., Pattinson, D., Hausmann, D.: Optimal tableaux for conditional logics with cautious monotonicity. In: Coelho, H., Studer, R., Wooldridge, M.J. (eds.) ECAI 2010, Proceedings. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 707\u2013712. IOS Press (2010)"},{"issue":"3","key":"11_CR26","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"RM Solovay","year":"1976","unstructured":"Solovay, R.M.: Provability interpretations of modal logic. Israel J. Math. 25(3), 287\u2013304 (1976)","journal-title":"Israel J. Math."},{"issue":"4","key":"11_CR27","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/BF00249262","volume":"12","author":"S Valentini","year":"1983","unstructured":"Valentini, S.: The modal logic of provability: cut-elimination. J. Philos. Logic 12(4), 471\u2013476 (1983)","journal-title":"J. Philos. Logic"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04587-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:14:30Z","timestamp":1757477670000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04587-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,29]]},"ISBN":["9783032045867","9783032045874"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04587-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,29]]},"assertion":[{"value":"29 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kutaisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.jelia.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}