A Cut-Free Simple Sequent Calculus for Modal Logic S5. - Francesca Poggiolesi (Rev. Symb. Log., 2008)

The Method of Tree-Hypersequents for Modal Propositional Logic. - Francesca Poggiolesi (Towards Mathematical Philosophy, 2009)

A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability. - Francesca Poggiolesi (Rev. Symb. Log., 2009)

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic. - Brian Hill; Francesca Poggiolesi (Stud Logica, 2010)

Display calculi and other modal calculi: a comparison. - Francesca Poggiolesi (Synth., 2010)

Conservativeness and Eliminability for Anti-Realistic Definitions. - Francesca Poggiolesi (The Realism-Antirealism Debate in the Age of Alternative Logics, 2012)

From Single Agent to Multi-Agent via Hypersequents. - Francesca Poggiolesi (Logica Universalis, 2013)

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics. - Francesca Poggiolesi (Stud Logica, 2016)

On defining the notion of complete and immediate formal grounding. - Francesca Poggiolesi (Synth., 2016)

On constructing a logic for the notion of complete and immediate formal grounding. - Francesca Poggiolesi (Synth., 2018)

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). - Guillaume Aucher; Paul Égré; Gabriele Kern-Isberner; Francesca Poggiolesi (Dagstuhl Reports, 2019)

An Analytic Calculus for the Intuitionistic Logic of Proofs. - Brian Hill; Francesca Poggiolesi (Notre Dame J. Formal Log., 2019)

Defining Formal Explanation in Classical Logic by Substructural Derivability. - Francesco A. Genco; Francesca Poggiolesi (CiE, 2021)

Grounding rules for (relevant) implication. - Francesca Poggiolesi (J. Appl. Non Class. Logics, 2021)

Grounding, Quantifiers, and Paradoxes. - Francesco A. Genco; Francesca Poggiolesi; Lorenzo Rossi 005 (J. Philos. Log., 2021)

Grounding principles for (relevant) implication. - Francesca Poggiolesi (Synth., 2021)

Explanations in logic. - Francesca Poggiolesi (AiML, 2022)

(Conceptual) explanations in logic. - Francesca Poggiolesi (J. Log. Comput., 2025)