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
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.
en
Project title:
Logical methods for Deontic Explanations: I 6372 (FWF - Österr. Wissenschaftsfonds)
CC BY 4.0
