Record link: 
http://hdl.handle.net/20.500.12708/221678
-
Title: 
GL-Based Calculi for PCL and Its Deontic Cousin
en
Citation: 
Ciabattoni, A., Rozplokhas, D., & Tesi, M. (2025). GL-Based Calculi for PCL and Its Deontic Cousin. In G. Casini, B. Dundua, & T. Kutsia (Eds.), Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I (pp. 171–186). Springer. https://doi.org/10.1007/978-3-032-04587-4_11
-
Publisher DOI: 
10.1007/978-3-032-04587-4_11
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Ciabattoni, Agata 
Rozplokhas, Dmitrii 
Tesi, Matteo 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
E056-13 - Fachbereich LogiCS 
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) 
-
Published in: 
Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I 
-
ISBN: 
978-3-032-04587-4
-
DOI of the book: 
10.1007/978-3-032-04587-4
-
Date (published): 
29-Aug-2025
-
Event name: 
19th European Conference on Logics in Artificial Intelligence (JELIA 2025) 
en
Event date: 
1-Sep-2025 - 4-Sep-2025
-
Event place: 
Kutaisi, Georgia
-
Number of Pages: 
16
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Conditional logics; Provability Logic; Preferential conditional logic; deontic logic
en
Abstract: 
We introduce a natural sequent calculus for preferential conditional logic PCL via embeddings into provability logic GL, achieving optimal complexity and enabling countermodel extraction. Extending the method to PCL with reflexivity and absoluteness – corresponding to Åqvist’s deontic system F with cautious monotony – we employ hypersequents to capture the S5 modality; the resulting calculus subsumes the known calculi for the weaker systems E and F within Åqvist family.
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

8
checked on Nov 26, 2025

Google ScholarTM

Check