Analytic Proof Theory for Åqvist System F

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas

Journal title: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023)

Journal publisher: College Publications

Published year: 2023