Gentzen calculi for modal propositional logic F Poggiolesi Springer Science & Business Media, 2010 | 142 | 2010 |

The method of tree-hypersequents for modal propositional logic F Poggiolesi Towards mathematical philosophy, 31-51, 2009 | 93 | 2009 |

A cut-free simple sequent calculus for modal logic S5 F Poggiolesi The Review of Symbolic Logic 1 (1), 3-15, 2008 | 55 | 2008 |

On defining the notion of complete and immediate formal grounding F Poggiolesi Synthese 193 (10), 3147-3167, 2016 | 44 | 2016 |

On constructing a logic for the notion of complete and immediate formal grounding F Poggiolesi Synthese 195 (3), 1231-1254, 2018 | 30 | 2018 |

A contraction-free and cut-free sequent calculus for propositional dynamic logic B Hill, F Poggiolesi Studia Logica 94 (1), 47-72, 2010 | 21 | 2010 |

A purely syntactic and cut-free sequent calculus for the modal logic of provability F Poggiolesi The Review of Symbolic Logic 2 (4), 593-611, 2009 | 16 | 2009 |

Interpreting and applying proof theories for modal logic FGR Poggiolesi, G Restall New waves in philosophical logic, 39-62, 2012 | 15 | 2012 |

Sequent calculi for modal logic F Poggiolesi Ph. D. thesis, University of Florence, 2008 | 15 | 2008 |

A critical overview of the most recent logics of grounding F Poggiolesi Objectivity, Realism, and Proof, 291-309, 2016 | 14 | 2016 |

On the importance of being analytic the paradigmatic case of the logic of proofs F Poggiolesi Logique et Analyse, 443-461, 2012 | 12 | 2012 |

Display calculi and other modal calculi: a comparison F Poggiolesi Synthese 173 (3), 259-279, 2010 | 12 | 2010 |

Grounding principles for (relevant) implication F Poggiolesi Synthese 198 (8), 7351-7376, 2021 | 8 | 2021 |

Natural deduction calculi and sequent calculi for counterfactual logics F Poggiolesi Studia Logica 104 (5), 1003-1036, 2016 | 8 | 2016 |

A proof-based framework for several types of grounding F Poggiolesi Logique et Analyse 252, 387-414, 2020 | 7 | 2020 |

Logics F Poggiolesi The Routledge Handbook of Metaphysical Grounding, 213-227, 2020 | 6 | 2020 |

Towards a satisfying proof analysis of the logic of proofs F Poggiolesi Proceedings of the Second ILCLI International Workshop on Logic and …, 2010 | 6 | 2010 |

Reflecting the semantic features of S5 at the syntactic level F Poggiolesi New Essays in Logic and Philosophy of Science, 13-25, 2010 | 6 | 2010 |

Common knowledge: a finitary calculus with a syntactic cut-elimination procedure F Poggiolesi, B Hill Logique et Analyse, 279-306, 2015 | 5 | 2015 |

From single agent to multi-agent via hypersequents F Poggiolesi Logica Universalis 7 (2), 147-166, 2013 | 5 | 2013 |