Gentzen calculi for modal propositional logic F Poggiolesi Springer Science & Business Media, 2010 | 174 | 2010 |
The method of tree-hypersequents for modal propositional logic F Poggiolesi Towards Mathematical Philosophy: Papers from the Studia Logica conference …, 2009 | 114 | 2009 |
A cut-free simple sequent calculus for modal logic S5 F Poggiolesi The Review of Symbolic Logic 1 (1), 3-15, 2008 | 70 | 2008 |
On defining the notion of complete and immediate formal grounding F Poggiolesi Synthese 193 (10), 3147-3167, 2016 | 63 | 2016 |
On constructing a logic for the notion of complete and immediate formal grounding F Poggiolesi Synthese 195, 1231-1254, 2018 | 46 | 2018 |
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 | 28 | 2009 |
A critical overview of the most recent logics of grounding F Poggiolesi Objectivity, realism, and proof: FilMat studies in the philosophy of …, 2016 | 23 | 2016 |
Interpreting and applying proof theories for modal logic F Poggiolesi, G Restall New waves in philosophical logic, 39-62, 2012 | 23 | 2012 |
A contraction-free and cut-free sequent calculus for propositional dynamic logic B Hill, F Poggiolesi Studia Logica 94, 47-72, 2010 | 23 | 2010 |
On the importance of being analytic the paradigmatic case of the logic of proofs F Poggiolesi Logique et Analyse, 443-461, 2012 | 17 | 2012 |
Grounding principles for (relevant) implication F Poggiolesi Synthese 198, 7351-7376, 2021 | 16 | 2021 |
Sequent calculi for modal logic F Poggiolesi Ph. D. thesis, University of Florence, 2008 | 16 | 2008 |
Conceptual (and hence mathematical) explanation, conceptual grounding and proof F Poggiolesi, F Genco Erkenntnis 88 (4), 1481-1507, 2023 | 15 | 2023 |
Display calculi and other modal calculi: a comparison F Poggiolesi Synthese 173 (3), 259-279, 2010 | 15 | 2010 |
Logics F Poggiolesi The Routledge Handbook of Metaphysical Grounding, 213-227, 2020 | 12 | 2020 |
A proof-based framework for several types of grounding F Poggiolesi Logique et Analyse 252, 387-414, 2020 | 12 | 2020 |
Natural deduction calculi and sequent calculi for counterfactual logics F Poggiolesi Studia Logica 104, 1003-1036, 2016 | 12 | 2016 |
Towards a generalization of the logic of grounding F Poggiolesi, N Francez Theoria: An International Journal for Theory, History and Foundations of …, 2021 | 9 | 2021 |
Reflecting the semantic features of S5 at the syntactic level F Poggiolesi New Essays in Logic and Philosophy of Science, 13-25, 2010 | 9 | 2010 |
Common knowledge: a finitary calculus with a syntactic cut-elimination procedure F Poggiolesi, B Hill Logique et Analyse 230, 279-306, 2015 | 8 | 2015 |