Francesca Poggiolesi

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 10

Top Topics

Sequent Calculi

Natural Deduction

Inference Rules

Intuitionistic Logic

Top Venues

Logica Universalis

J. Philos. Log.

J. Appl. Non Class. Logics

Publications

Francesca Poggiolesi, Rineke Verbrugge
Explanations in logic. AiML (2022)
Francesco A. Genco, Francesca Poggiolesi
Defining Formal Explanation in Classical Logic by Substructural Derivability. CiE (2021)
Francesca Poggiolesi
Grounding principles for (relevant) implication. Synth. 198 (8) (2021)
Francesco A. Genco, Francesca Poggiolesi, Lorenzo Rossi
Grounding, Quantifiers, and Paradoxes. J. Philos. Log. 50 (6) (2021)
Francesca Poggiolesi
Grounding rules for (relevant) implication. J. Appl. Non Class. Logics 31 (1) (2021)
Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports 9 (1) (2019)
Brian Hill, Francesca Poggiolesi
An Analytic Calculus for the Intuitionistic Logic of Proofs. Notre Dame J. Formal Log. 60 (3) (2019)
Francesca Poggiolesi
On constructing a logic for the notion of complete and immediate formal grounding. Synth. 195 (3) (2018)
Francesca Poggiolesi
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics. Stud Logica 104 (5) (2016)
Francesca Poggiolesi
On defining the notion of complete and immediate formal grounding. Synth. 193 (10) (2016)
Francesca Poggiolesi
From Single Agent to Multi-Agent via Hypersequents. Logica Universalis 7 (2) (2013)
Francesca Poggiolesi
Display calculi and other modal calculi: a comparison. Synth. 173 (3) (2010)
Brian Hill, Francesca Poggiolesi
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic. Stud Logica 94 (1) (2010)
Francesca Poggiolesi
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability. Rev. Symb. Log. 2 (4) (2009)
Francesca Poggiolesi
A Cut-Free Simple Sequent Calculus for Modal Logic S5. Rev. Symb. Log. 1 (1) (2008)