2025
Article dans une revue
- ref_biblio
- Brian Hill, Francesca Poggiolesi. Explaining with reasons: from Aristotle to machine learning classifiers. The review of symbolic logic, In press. ⟨hal-05094584⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi, Elaine Pimentel. Mathematical explanations and axioms as rules*. Topoi, In press, Special issue "Logic and explanation". ⟨hal-04993565⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Robin Martinot, Francesca Poggiolesi. Purity and Explanation: A Systematic Case Study. Synthese, In press. ⟨hal-04957987⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi. Logic and grounding. E. Brendel; M. Carrara; F. Ferrari; O. Hjortland; G. Sagi; G. Sher. Handbook of Philosophical Logic, 19, Oxford University Press, In press. ⟨hal-04913097⟩
- Accès au texte intégral et bibtex
-
2024
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. (Conceptual) Explanations in logic. Journal of Logic and Computation, 2024, ⟨10.1093/logcom/exae064⟩. ⟨hal-04391010v7⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Björn Lellmann, Francesca Poggiolesi. Nested Sequents or Tree-hypersequents -A survey. R. Padro and Yale Weiss. Saul Kripke on Modal Logic, 30, Springer; Springer International Publishing, pp.243-301, 2024, Outstanding Contributions to Logic., ⟨10.1007/978-3-031-57635-5_11⟩. ⟨hal-03590537v2⟩
- Accès au texte intégral et bibtex
-
2023
Article dans une revue
- ref_biblio
- Francesca Poggiolesi, Massimiliano Carrara, Ciro de Florio. From Thin Objects to Thin Concepts?. Theoria: A Swedish Journal of Philosophy, 2023, ⟨10.1111/theo.12452⟩. ⟨hal-03934974⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Mathematical explanations: an analysis via formal proofs and conceptual complexity. Philosophia Mathematica, In press, ⟨10.1093/philmat/nkad023⟩. ⟨hal-04303153⟩
- Accès au texte intégral et bibtex
-
2022
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Grounding and propositional identity: a solution to Wilhelm's inconsistencies. Logic and Logical Philosophy, In press. ⟨hal-03605456⟩
- Accès au texte intégral et bibtex
-
HDR
- ref_biblio
- Francesca Poggiolesi. Expliquer à l'aide des preuves. Philosophie. Université Paris 1 Panthéon Sorbonne, 2022. ⟨tel-04203513v2⟩
- Accès au texte intégral et bibtex
-
2021
Article dans une revue
- ref_biblio
- Francesca Poggiolesi, N. Francez. Towards a generalization of the logic of grounding. Theoria: An International Journal for Theory and Foundations of Science, In press, 36, pp.5-24. ⟨hal-02860310⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi, Francesco A Genco. Conceptual (and hence mathematical) explanation, conceptual grounding and proof. Erkenntnis, In press. ⟨hal-03176283⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesco A Genco, Francesca Poggiolesi, Lorenzo Rossi. Grounding, Quantifiers, and Paradoxes. Journal of Philosophical Logic, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩. ⟨hal-03187627⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- ref_biblio
- Francesco A Genco, Francesca Poggiolesi. Defining Formal Explanation in Classical Logic by Substructural Derivability. Computability in Europe 2021: Connecting with Computability, Jul 2021, Ghent, Belgium. ⟨hal-03192655⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi, Francesco A Genco. Defining Formal Explanation in Classical Logic by Substructural Derivability. Computability in Europe 2021: Connecting with Computability, 2021. ⟨hal-03501265⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. Les conditionnels. F. Poggiolesi et P. Wagner. Précis de Philosophie de la Logique, Vol. 1, Editions de la Sorbonne, 2021. ⟨hal-02390490v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Bolzano, (the appropriate) relevant logic and ground-ing rules for implication. B. Schnieder and S. Roski. Bolzano and grounding, Oxford University Press, 2021. ⟨hal-01912139⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- ref_biblio
- Pierre Wagner, Francesca Poggiolesi. Précis de philosophie de la logique et des mathématiques. Editions de la Sorbonne, 1, 2021, Philosophie de la logique. ⟨hal-03388511⟩
- Accès au bibtex
-
2020
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Grounding rules and (hyper-)isomorphic formulas. Australasian Journal of Logic, 2020, 17 (1), pp.70-80. ⟨hal-02515104v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Grounding rules for (relevant) implication. Journal of Applied Non-Classical Logics, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩. ⟨hal-02953412⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. A proof-based framework for several types of grounding. Logique et Analyse, 2020, 252, pp.387-414. ⟨hal-02498116v2⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi. 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à, pp.96-110, 2020. ⟨hal-03096042⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Logics. Michael Raven. Routledge Handbook for Metaphysical Grounding, 2020, ISBN-13: 978-0815366492. ⟨hal-02100816v2⟩
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Grounding principles for (relevant) implication. Synthese, In press. ⟨hal-02408446⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Brian Hill, Francesca Poggiolesi. An Analytic Calculus for the Intuitionistic Logic of Proofs. Notre Dame Journal of Formal Logic, 2019, 60, pp.353-393. ⟨hal-01621420⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- ref_biblio
- Francesca Poggiolesi. No title. 2019. ⟨hal-02091633⟩
- Accès au texte intégral et bibtex
-
2017
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Gentzen's Centenary. History and Philosophy of Logic, 2017, ⟨10.1080/01445340.2017.1303229⟩. ⟨halshs-01498445⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. On constructing a logic for the notion of complete and immediate formal grounding. Synthese, 2017, ⟨10.1007/s11229-016-1265-z⟩. ⟨halshs-01474697⟩
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. On defining the notion of complete and immediate formal grounding. Synthese, 2016, 193 (10), pp.3147-3167. ⟨10.1007/s11229-015-0923-x⟩. ⟨halshs-01227672⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Gerhard Gentzen. Aphex, 2016, 14, pp.1-45. ⟨hal-01358730⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. On defining the notion of complete and immediate formal grounding. Synthese, 2016, 193, pp.3147-3167. ⟨10.1007/s11229-015-0923-x⟩. ⟨hal-01102067⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016. Logic and Logical Philosophy, 2016, 26, pp.555-560. ⟨10.12775/LLP.2016.019⟩. ⟨hal-01397073⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. Natural deduction calculi and sequent calculi for counterfactual logics. Studia Logica, 2016, 104 (5), pp.1003-1036. ⟨10.1007/s11225-016-9662-3⟩. ⟨hal-01271556⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi. A Critical Overview of the Most Recent Logics of Grounding. Francesca Boccuni, Andrea Sereni Objectivity, Realism and Proof, 318, Springer, pp.291-309, 2016, Boston Studies in the Philosophy and History of Science, 978-3-319-31642-0. ⟨10.1007/978-3-319-31644-4_15⟩. ⟨hal-01344256⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. Modal Truths from an Analytic-Synthetic Kantian Distinction. A. Moktefi, L. Moretti, F. Schang, eds. Soyons Logiques / Let us be logical, 22, College Publications, pp.149-160, 2016, Cahiers de Logique et d'Epistemologie 978-1-84890-090-5. ⟨halshs-00775811⟩
- Accès au texte intégral et bibtex
-
2015
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Are the validities of modal logic analytic? Or analyticity again through information, proof, modal logic and Hintikka. Philosophia Scientiae, 2015, 19, ⟨10.4000/philosophiascientiae.1110⟩. ⟨hal-01252305⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Brian Hill, Francesca Poggiolesi. Common knowledge: finite calculus with a syntactic cut-elimination procedure. Logique et Analyse, 2015, 58 (230), pp.279-306. ⟨halshs-00775822⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- ref_biblio
- Francesca Poggiolesi, Patrick Allo, Sonja Smets (Dir.). Dynamic in Logic. Centre national belge de recherches de logique. N° de Logique et analyse, 2015. ⟨halshs-00775805⟩
- Accès au bibtex
-
2013
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Dynamic in logic.. Logique et Analyse, 2013, p. ⟨halshs-01021465⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi, S. Negri, J. von Plato. Proof Analysis : A contribution to Hilbert's last problem.. History and Philosophy of Logic, 2013, 278 p. ⟨halshs-01016620⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. From a single agent to multi-agent via hypersequents. Logica Universalis, 2013, 7, pp.147-166. ⟨10.1007/s11787-012-0047-8⟩. ⟨halshs-00775806⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi, B. Hill. Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.. Logique et Analyse, 2013, numéro spécial Dynamic in Logic, p. ⟨halshs-00905611⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. Review of: Proof Analysis. A contribution to Hilbert's last problem. History and Philosophy of Logic, 2013. ⟨halshs-00775824⟩
- Accès au bibtex
-
Communication dans un congrès
- ref_biblio
- Francesca Poggiolesi. Cogito Work-shop.. A brief history of proof theory for modal logic., Sep 2013, Padua, Italy. ⟨halshs-01021548⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. Unilog Conference.. Hypersequents and modal logic., Mar 2013, Rio, Brazil. ⟨halshs-01021544⟩
- Accès au bibtex
-
2012
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. On the importance of being analytic. The paradigmatic case of the logic of proofs. Logique et Analyse, 2012, 55 (219), pp.443-461. ⟨halshs-00775807⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi, Greg Restall. Interpreting and Applying Proof Theory for Modal Logic. Greg Restall, Gillian Russell, eds. New Waves in Philosophical Logic, Palgrave Macmillan, pp.39-62, 2012, New Waves of Philosophy. ⟨halshs-00775812⟩
- Accès au bibtex
-
2011
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi. Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a Global View of the Meaning of Logical Constants. Shahid Rahman, Giuseppe Primiero, Mathieu Marion, eds. (Anti)-Realism. The Realism-Antirealism Debate in the Age of Alternative Logics, Springer, pp.169-181, 2011. ⟨halshs-00775813⟩
- Accès au bibtex
-
2010
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Display calculi and other modal calculi: a comparison. Synthese, 2010, 173 (3), pp.259-279. ⟨10.1007/s11229-008-9425-4⟩. ⟨halshs-00775789⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Brian Hill, Francesca Poggiolesi. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic. Studia Logica, 2010, 94 (1), pp.47-72. ⟨10.1007/s11225-010-9224-z⟩. ⟨hal-00521802⟩
- Accès au bibtex
-
Communication dans un congrès
- ref_biblio
- Francesca Poggiolesi. Analyticity and Logic of Proofs: A challenge. Proceedings of the Third Workshop on Philosophy of Information, Nov 2010, Brussels, Belgium. pp.55-63. ⟨halshs-00775816⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. 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, Nov 2010, San Sebastian-Donostia, Spain. pp.371-387. ⟨halshs-00775817⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi. Reflecting the Semantic Features of S5 at the Syntactic Level. M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia. New Essays in Logic and Philosophy of Science, College Publications, pp.13-25, 2010, 978-1-84890-003-5. ⟨halshs-00775814⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- ref_biblio
- Francesca Poggiolesi, F. Russo, Jon Williamson. Proof Theory. F. Russo, Jon Williamson. continuum, pp.2, 2010. ⟨halshs-00775819⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. Gentzen Calculi for Modal Propositional Logic. Springer, pp.233, 2010. ⟨halshs-00775804⟩
- Accès au bibtex
-
2009
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Review of: One Hundred Years of Intuitionism (1907-2007). Mathématiques et Sciences Humaines, 2009, 186, pp.89-90. ⟨halshs-00775823⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. Proof Theory. The Reasoner, 2009, 3, pp.8-9. ⟨halshs-00775820⟩
- Accès au bibtex
-
- ref_biblio
- Francesca Poggiolesi. A purely syntactic and cut-free sequent calculus for the modal logic of provability. The review of symbolic logic, 2009, 2 (4), pp.593-611. ⟨halshs-00775808⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- ref_biblio
- Francesca Poggiolesi. The Method of Tree-hypersequents for Modal Propositional Logic. David Makinson, Jacek Malinowski, Heinrich Wansing. Towards Mathematical Philosophy, 28, Springer, pp.31-51, 2009, Trends in logic, 978-1-4020-9083-7. ⟨10.1007/978-1-4020-9084-4_3⟩. ⟨halshs-00775815⟩
- Accès au texte intégral et bibtex
-
2008
Article dans une revue
- ref_biblio
- Francesca Poggiolesi. Three solutions to the knower paradox. Annali del Dipartimento di Filosofia - Nuova Serie, 2008, XIII, pp.147-163. ⟨10.13128/Annali_Dip_Filos-2840⟩. ⟨halshs-00775810⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Francesca Poggiolesi. A Cut-Free Simple Sequent Calculus for Modal Logic S5. The review of symbolic logic, 2008, 1 (1), pp.3-15. ⟨halshs-00775809⟩
- Accès au texte intégral et bibtex
-
2007
Communication dans un congrès
- ref_biblio
- Francesca Poggiolesi. A New Definition of the Došen's Principle. 21st International Symposium Logica, Jun 2007, Prague, Czech Republic. pp.133-142. ⟨halshs-00775818⟩
- Accès au bibtex
-