Publications HAL de Francesca,Poggiolesi

2017

Article dans une revue

ref_biblio
Francesca Poggiolesi. Book Review of Gentzen's Centenary. History and Philosophy of Logic, Taylor & Francis, 2017, 〈10.1080/01445340.2017.1303229〉. 〈halshs-01498445〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. On constructing a logic for the notion of complete and immediate formal grounding. Synthese, Springer Verlag (Germany), 2017, 〈10.1007/s11229-016-1265-z〉. 〈halshs-01474697〉
Accès au bibtex
BibTex
ref_biblio
Brian Hill, Francesca Poggiolesi. An Analytic Calculus for the Intuitionistic Logic of Proofs. Notre Dame Journal of Formal Logic, University of Notre Dame, A Paraître. 〈hal-01621420〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01621420/file/alp7%20%281%29.pdf BibTex

2016

Article dans une revue

ref_biblio
Francesca Poggiolesi. Gerhard Gentzen. Aphex, 2016, pp.1-45. 〈hal-01358730〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01358730/file/aphex%20gentzen.pdf BibTex
ref_biblio
Francesca Poggiolesi. Book Review of Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry,Logic, Argumentation & Reasoning, Volume 8, Springer, 2016. Logic and Logical Philosophy, Nicolaus Copernicus University Scientific Publishing House, 2016, 26, pp.555-560. 〈10.12775/LLP.2016.019〉. 〈hal-01397073〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. Natural deduction calculi and sequent calculi for counterfactual logics. Studia Logica, Springer Verlag (Germany), 2016, 〈10.1007/s11225-016-9662-3〉. 〈hal-01271556〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. On defining the notion of complete and immediate formal grounding. Synthese, Springer Verlag (Germany), 2016, 〈10.1007/s11229-015-0923-x〉. 〈halshs-01227672〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. On defining the notion of complete and immediate formal grounding. Synthese, Springer Verlag (Germany), 2016, 193, pp.3147-3167. 〈10.1007/s11229-015-0923-x〉. 〈hal-01102067〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102067/file/ondefininggrounding12bis_name.pdf BibTex

Chapitre d'ouvrage

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. 〈http://www.collegepublications.co.uk/cahiers/?00022〉. 〈halshs-00775811〉
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775811/file/modaltruths3.pdf BibTex
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
https://hal.archives-ouvertes.fr/hal-01344256/file/colgfinal.pdf 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 Scientae, 2015, 19, 〈 http://philosophiascientiae.revues.org/1110 ; DOI : 10.4000/philosophiascientiae.1110 〉. 〈10.4000/philosophiascientiae.1110 〉. 〈hal-01252305〉
Accès au bibtex
BibTex
ref_biblio
Brian Hill, Francesca Poggiolesi. Common knowledge: finite calculus with a syntactic cut-elimination procedure. Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2015, 58 (230), pp.279-306. 〈http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1703〉. 〈halshs-00775822〉
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775822/file/commonknoweldgefinal.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

ref_biblio
Francesca Poggiolesi, Patrick Allo, Sonja Smets. Dynamic in Logic. France. Centre national belge de recherches de logique. N° de Logique et analyse, 2015. 〈halshs-00775805〉
Accès au bibtex
BibTex

2013

Article dans une revue

ref_biblio
Francesca Poggiolesi. Dynamic in logic.. Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, p. 〈halshs-01021465〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. Review of: Proof Analysis. A contribution to Hilbert's last problem. History and Philosophy of Logic, Taylor & Francis, 2013. 〈halshs-00775824〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi, S. Negri, J. Von Plato. Proof Analysis : A contribution to Hilbert's last problem.. History and Philosophy of Logic, Taylor & Francis, 2013, 278 p. 〈halshs-01016620〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi, B. Hill. Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.. Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, p. 〈halshs-00905611〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. From a single agent to multi-agent via hypersequents.. Logica Universalis, Springer Verlag, 2013, pp. 147-166. 〈halshs-00905615〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. From a single agent to multi-agent via hypersequents. Logica Universalis, Springer Verlag, 2013, pp.147-166. 〈10.1007/s11787-012-0047-8〉. 〈halshs-00775806〉
Accès au bibtex
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
BibTex
ref_biblio
Francesca Poggiolesi. Unilog Conference.. Hypersequents and modal logic., Mar 2013, Rio, Brazil. 〈halshs-01021544〉
Accès au bibtex
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, Louvain: Centre national belge de recherche de logique. 2012, 55 (219), pp.443-461. 〈http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1834〉. 〈halshs-00775807〉
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00775807/file/logique%20et%20analyse2.pdf 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
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
BibTex

2010

Article dans une revue

ref_biblio
Brian Hill, Francesca Poggiolesi. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic. Studia Logica, Springer Verlag (Germany), 2010, 94 (1), pp.47-72. 〈10.1007/s11225-010-9224-z〉. 〈hal-00521802〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. Display calculi and other modal calculi: a comparison. Synthese, Springer Verlag (Germany), 2010, pp.259-279. 〈halshs-00775789〉
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Francesca Poggiolesi. Analyticity and Logic of Proofs: A challenge. Giuseppe P. Allo Primiero. Proceedings of the Third Workshop on Philosophy of Information, Nov 2010, Brussels, Belgium. Flemish Academy Press, pp.55-63, 2012. 〈halshs-00775816〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. Towards a Satisfying Proof Analysis of the Logic of Proofs. X. Arrazola, M. Ponte, eds. Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Nov 2010, San Sebastian-Donostia, Spain. University of the Basque Country Press, pp.371-387, 2010. 〈halshs-00775817〉
Accès au bibtex
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, eds. New Essays in Logic and Philosophy of Science, College Publications, pp.13-25, 2010. 〈halshs-00775814〉
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

ref_biblio
Francesca Poggiolesi. Gentzen Calculi for Modal Propositional Logic. Springer, pp.233, 2010. 〈halshs-00775804〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi, F. Russo, Jon Williamson. Proof Theory. F. Russo, Jon Williamson. continuum, pp.2, 2010. 〈halshs-00775819〉
Accès au bibtex
BibTex

2009

Article dans une revue

ref_biblio
Francesca Poggiolesi. Review of: One Hundred Years of Intuitionism (1907-2007). Mathématiques et Sciences Humaines, Centre de Mathématique Sociale et de statistique, EPHE, 2009, pp.89-90. 〈halshs-00775823〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. A purely syntactic and cut-free sequent calculus for the modal logic of provability. Review of Symbolic Logic, Cambridge University Press, 2009, 2 (4), pp.593-611. 〈halshs-00775808〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. Proof Theory. The Reasoner, 2009, pp.8-9. 〈halshs-00775820〉
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Francesca Poggiolesi. The Method of Tree-hypersequents for Modal Propositional Logic. D. Makinson, J. Malinowski, H. Wansing, dir. Trends in Logic: Towards Mathematical Philosophy, Springer, pp.31-51, 2009, Trends in logic, 28. 〈halshs-00775815〉
Accès au bibtex
BibTex

2008

Article dans une revue

ref_biblio
Francesca Poggiolesi. A cut-free simple sequent calculus for modal logic S5. Review of Symbolic Logic, Cambridge University Press, 2008, 1 (1), pp.3-15. 〈halshs-00775809〉
Accès au bibtex
BibTex
ref_biblio
Francesca Poggiolesi. Three solutions to the knower paradox. Annali del dipartimento di filosofia, 2008, pp.147-163. 〈halshs-00775810〉
Accès au bibtex
BibTex

2007

Communication dans un congrès

ref_biblio
Francesca Poggiolesi. A New Definition of the Došen's Principle. M. Pelis, dir. 21st International Symposium Logica, Jun 2007, Prague, Czech Republic. Filosofia, pp.133-142, 2008. 〈halshs-00775818〉
Accès au bibtex
BibTex