My publications (the preprint version of them) can be freely accessed on HAL, https://hal.archives-ouvertes.fr/. If you are interested in one of them and are unable to find it, please e-mail me at poggiolesi@gmail.com, and I will be glad to send it to you
Publications
Books
Monographs
"Expliquer à l'aide des preuves," Vrin, collection Mathesis Universalis, forthcoming.
"Gentzen Calculi for Modal Propositional Logic", book series Trends in Logic, Springer, 2010.
Collections
"Précis de Philosophie de la Logique et Philosophie des Mathématique (Vol I: philosophie de la logique)" together with P. Wagner, éditions de la Sorbonne, 2021.
Articles published in refereed international journals
"Mathematical explanations: an analysis via formal proofs and conceptual complexity," Philosophia Mathematica, forthcoming.
"From thin objects to thin concepts?" (together with M. Carrara and C. De Florio), Theoria, 89: 256-265, 2023.
"Conceptual (and hence mathematical) explanations, conceptual grounding and proof" (together with F. Genco), Erkenntnis, 88: 1481-1507, 2023.
"Grounding and propositional identity: a solution to Wilhelm's inconsistencies," Logic and logical philosophy, 32: 33-38, 2022.
'Grounding, quantifiers and paradoxes", (together with F. Genco and L. Rossi), Journal of Philosophical Logic, 50:1417-1448, 2021.
"Grounding principles for relevant implication," Synthese, 198:7351-7376, 2021.
"Toward a generalization of the logic of grounding," (with N. Francez), Theoria, 36: 5-24, 2021.
"A proof-theoretical framework for several types of grounding," Logique et Analyse, 252: 387-414, 2020.
"Grounding rules for (relevant) implication," Journal of Applied Non-Classical Logics, 8: 1-30, 2020.
"Grounding rules and (hyper-)isomorphic formulas," Australasian Journal of Logic, 17: 70-80, 2020.
"An analytic calculus for the intuitionistic logic of proofs", (with B. Hill), Notre Dame Journal of Formal Logic, 60:353-393, 2019.
"On constructing a logic for the notion of complete and immediate formal grounding", Synthese, 195: 1231–1254, 2018.
"On defining the notion of complete and immediate formal grounding", Synthese, 193: 3147-3167, 2016.
"Natural deduction calculi and sequent calculi for counterfactual logics", Studia Logica, 104: 1003-1036, 2016.
"Common knowledge: finite calculus with syntactic cut-elimination procedure" (with B.Hill), Logique et Analyse, 58, 136-159, 2015.
"Are the validities of modal logic analytic? Or analyticity again through information, proof, modal logic and Hintikka", Philosophia Scientiae, 19, 221-243, 2015.
"From a single agent to multi-agent via hypersequents", Logica Universalis, 7: 147-166, 2013.
"On the importance of being analytic. The paradigmatic case of the logic of proofs", Logique et Analyse, 219: 443-461, 2012.
"Display calculi and other modal calculi: a comparison", Synthese, 173: 259-279, 2010.
"A contraction-free and cut-free sequent calculus for propositional dynamic logic" (with B. Hill), Studia Logica, 94:47-72, 2010.
" A purely syntactic and cut-free sequent calculus for the modal logic of provability", Review of Symbolic Logic, 2:593-611, 2009.
"A cut-free simple sequent calculus for modal logic S5”, Review of Symbolic Logic, 1:3-15, 2008.
"Three solutions to the Knower paradox", Annali del Dipartimento di Filosofia dell'Università di Firenze, XIII: 147-163, 2008.
Articles in refereed books
"Logic and grounding," in Handbook of Philosophical Logic, E. Brendel, M. Carrara, F. Ferrari, O. Hjortland, G. Sagi and G. Sher, (eds.), forthcoming.
"Mathematical explanations," (together with P. Mancosu and C. Pincock) in Stanford Encyclopedia of Philosophy, 2023.
"Nested sequent or Tree-hypersequents: A survey," (together with B. Lellmann), in Saul Kripke on Modal logic, R. Padro and Y. Weiss (eds.), 2023.
"Bolzano, the appropriate relevant logic and grounding rules for implication", in Bolzano and Grounding, S. Roski and B. Schnieder (eds.), Oxford University Press, 2022.
"Conditionnels", in Précis de philosophie de la logique, F. Poggiolesi and P. Wagner (eds.), Editions de la Sorbonne, 2021.
"Logics", in Routledge Handbook for Metaphysical Grounding, M. Raven (ed.), pp. 213-227, New York: Routledge, 2020.
"A critical overview of the most recent logics of grounding", in Objectivity, Realism and Proof, F. Boccuni and A. Sereni (eds.), pp. 291-309, Boston Studies in the Philosophy and History of Science, Springer, 2016.
"Modal truths from an analytic-synthetic Kantian distinction", Soyons Logiques / Let us be logical, A Moktefi, A. Moretti, F. Schang (eds.), pp. 149-160, London College Publications, 2016.
"Interpreting and applying proof theory for modal logic" (with G. Restall), for the collection New Waves in Philosophical Logic, G. Restall and G. Russell (eds.), pp. 39-62, Palgrave MacMillan, 2012.
"Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants", in (Anti)-Realism. The Realism-Antirealism Debate in the Age of Alternative Logics, M. Marion, G. Primero, S. Rahman (eds.), pp: 169-181, Springer, 2011.
"Reflecting the semantic features of S5 at the syntactic level", in New Essays in Logic and Philosophy of Science, M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia (eds.), pp: 13-25, London College Publications, 2010. (pdf)
“The method of tree-hypersequents for modal propositional logic”, in Trends in Logic: Towards Mathematical Philsophy, D. Makinson, J. Malinowski and H. Wansing (eds.), pp: 31-51, Springer, 2009.
Entries in refereed encyclopedia or journals
"Gerhard Gentzen", Aphex, Profiles section, 14: 1-32.
“Proof Theory”, in Key Terms in Logic, F. Russo and J. Williamson (eds.), Continuum Books, pp: 83-84, 2010.
Conference proceedings
"Defining formal explanations in classical logic by substructural derivability" (together with F. Genco), in Connecting with Computability, L. De Mol, A. Weiermann, F. Manea, D. Fernández-Duque (eds.), pp. 237-247.
"La nozione di fondazione: uno dei modi in cui la logica aiuta la filosofia,"Ordinare il mondo: prospettive logiche ed epistemologiche su scienza, natura e società, E. Montuschi e P. Omodeo (eds.), pp. 96-110, 2020.
"Counterfactual logics: natural deduction calculi and sequent calculi", Proceedings of Hypothetical Reasoning Conference, T. Piecha and P. Schroeder-Heister (eds.), pp. 45-47, 2015.
"Analyticity and logic of proofs: A challenge", Proceedings of the Third Workshop on Philosophy of Information, P. Allo and G. Primero (eds.), Flemish Academy, pp. 55 - 63, 2012.
"Towards a satisfying proof analysis of the logic of proofs," Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, X. Arrazola and M. Ponte (eds.), pp. 371-387, University of the Basque Country Press, 2010.
A new definition of the Došen’s principle,” in The Logica Yearbook 2007, Proceedings of the Logica Conference 2007, M. Pelis (ed.), pp: 133-142, Filosofia, Prague, 2008.
Edited issues
"Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032)," Dagstuhl Reports 9(1): 47-66, together with G. Aucher, P. Egré an G. Kern-Isberner, 2019.
"Dynamics in Logic", together with P. Allo and S. Smets, special issue of Logique et Analyse, 58, 2015.
Reviews
Review of "Gentzen's centenary. The quest for consistency", History and Philosophy of Logic, 38: 256-260, 2017.
Review of "Perspectives in interrogative models of inquiry", Logic and Logical Philosophy, 25:555-560, 2016.
Review of "Proof Analysis. A contribution to Hilbert's last problem", History and Philosophy of Logic, 34:98-99, 2013.
Review of "One Hundred Years of Intuitionism (1907-2007)", Revue Mathématiques et Sciences Humaines, 186: 89-90, 2009.
Articles in non-refereed international journals
“Proof Theory”, The Reasoner, 3:8-9, 2009.
PhD thesis
“Sequent calculi for modal logic”, successfully defended on February the 8th 2008 at the University of Florence. Members of the jury: P. Minari, F. Paoli, G. Sandu, H. Wansing