Analytic Proof Theory for Åqvist's System F - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Agata Ciabattoni' in GoogleThis author has not been identified. Look up 'Nicola Olivetti' in GoogleThis author has not been identified. Look up 'Xavier Parent' in GoogleThis author has not been identified. Look up 'Revantha Ramanayake' in GoogleThis author has not been identified. Look up 'Dmitry Rozplokhas' in Google

runs on WebDSL