Analytic proof theory for Åqvist's system F

MaRDI QIDQ6583053

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

Publication date: 5 August 2024

zbMATH Keywords

hypersequentsdyadic deontic logicanalytic sequent calculisystem \textbf{F}

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Analytic proof theory for Åqvist's system F