Edi Pavlovic

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Cut Elimination

Sequent Calculi

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications

Edi Pavlovic, Frederik Van De Putte
Proof Theory for Admissibility in Two-Player (Deontic) Games. DEON (2023)
Edi Pavlovic, Norbert Gratzl
Neutral Free Logic: Motivation, Proof Theory and Models. J. Philos. Log. 52 (2) (2023)
Edi Pavlovic, Norbert Gratzl
Abstract Forms of Quantification in the Quantified Argument Calculus. Rev. Symb. Log. 16 (2) (2023)
Norbert Gratzl, Edi Pavlovic
Is, Ought, and Cut. J. Philos. Log. 52 (4) (2023)
Sara Negri, Edi Pavlovic
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. Stud Logica 109 (3) (2021)
Edi Pavlovic, Norbert Gratzl
A More Unified Approach to Free Logics. J. Philos. Log. 50 (1) (2021)
Edi Pavlovic, Norbert Gratzl
Proof-Theoretic Analysis of the Quantified Argument Calculus. Rev. Symb. Log. 12 (4) (2019)