Sequents vs Hypersequents for Aqvist Systems

Ciabattoni, Agata; Tesi, Matteo

doi:10.1007/978-3-031-63501-4_10

Datensatz Zitierlink:

http://hdl.handle.net/20.500.12708/199690

Titel:

Sequents vs Hypersequents for Aqvist Systems

Zitat:

Ciabattoni, A., & Tesi, M. (2024). Sequents vs Hypersequents for Aqvist Systems. In C. Benzmüller, M. Heule, & R. Schmidt (Eds.), Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (pp. 176–195). Springer. https://doi.org/10.1007/978-3-031-63501-4_10

CatalogPlus:

AC17346624

Verlags-DOI:

10.1007/978-3-031-63501-4_10

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Ciabattoni, Agata
Tesi, Matteo

Organisationseinheit:

E192-05 - Forschungsbereich Theory and Logic
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)

Erschienen in:

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

ISBN:

978-3-031-63501-4

Band:

14740

Datum (veröffentlicht):

2024

Veranstaltungsname:

Automated Reasoning - 12th International Joint Conference, IJCAR 2024

Veranstaltungszeitraum:

3-Jul-2024 - 6-Jul-2024

Veranstaltungsort:

Nancy, Frankreich

Umfang:

Verlag:

Springer, Cham

Peer Reviewed:

Keywords:

Deontic Logic; Hypersequent calculi; Cut-reduction

Abstract:

Enhancing cut-free expressiveness through minimal structural additions to sequent calculus is a natural step. We focus on ˚Aqvist’s system F with cautious monotonicity (CM), a deontic logic extension of S5, for which we define a sequent calculus employing (semi) analytic cuts.The transition to hypersequents is key to develop modular and cut-free calculi for F + (CM) and G, also supporting countermodel construction.

Projekttitel:

Logical methods for Deontic Explanations: I 6372 (FWF - Österr. Wissenschaftsfonds)

Forschungsschwerpunkte:

Computer Science Foundations: 100%

Wissenschaftszweig:

1020 - Informatik: 80%
1010 - Mathematik: 20%

Lizenz:

CC BY 4.0