<div class="csl-bib-body">
<div class="csl-entry">Ciabattoni, A., Rozplokhas, D., & Tesi, M. (2025). GL-Based Calculi for PCL and Its Deontic Cousin. In G. Casini, B. Dundua, & T. Kutsia (Eds.), <i>Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I</i> (pp. 171–186). Springer. https://doi.org/10.1007/978-3-032-04587-4_11</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/221678
-
dc.description.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
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Conditional logics
en
dc.subject
Provability Logic
en
dc.subject
Preferential conditional logic
en
dc.subject
deontic logic
en
dc.title
GL-Based Calculi for PCL and Its Deontic Cousin
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.editoraffiliation
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy
-
dc.contributor.editoraffiliation
Kutaisi International University, Georgia
-
dc.contributor.editoraffiliation
Johannes Kepler University of Linz, Austria
-
dc.relation.isbn
978-3-032-04587-4
-
dc.relation.doi
10.1007/978-3-032-04587-4
-
dc.relation.issn
0302-9743
-
dc.description.startpage
171
-
dc.description.endpage
186
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.publisher.doi
10.1007/978-3-032-04587-4_11
-
dc.description.numberOfPages
16
-
tuw.editor.orcid
0009-0006-7513-4232
-
tuw.editor.orcid
0000-0003-4084-7380
-
tuw.event.name
19th European Conference on Logics in Artificial Intelligence (JELIA 2025)
