Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas. Analytic Proof Theory for Åqvist's System F. In Juliano Maranhão, Clayton Peterson, Christian Straßer, Leendert van der Torre, editors, Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023. pages 79-98, College Publications, 2023.
Abstract is missing.