Proof-Theoretic Analysis of the Quantified Argument Calculus. - Edi Pavlovic; Norbert Gratzl (Rev. Symb. Log., 2019)

A More Unified Approach to Free Logics. - Edi Pavlovic; Norbert Gratzl (J. Philos. Log., 2021)

Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. - Sara Negri; Edi Pavlovic (Stud Logica, 2021)

Proof Theory for Admissibility in Two-Player (Deontic) Games. - Edi Pavlovic; Frederik Van De Putte (DEON, 2023)

Neutral Free Logic: Motivation, Proof Theory and Models. - Edi Pavlovic; Norbert Gratzl (J. Philos. Log., 2023)

Abstract Forms of Quantification in the Quantified Argument Calculus. - Edi Pavlovic; Norbert Gratzl (Rev. Symb. Log., 2023)

Is, Ought, and Cut. - Norbert Gratzl; Edi Pavlovic (J. Philos. Log., 2023)

Decidable Fragments of the Quantified Argument Calculus. - Edi Pavlovic; Norbert Gratzl (Rev. Symb. Log., 2024)