Concepedia

Francesca Poggiolesi

FP

Statistics

Publications

9

Citations

230

H-Index

9

Active since

2008

Affiliations

Université Paris 1 Panthéon-Sorbonne(Current)

Centre National de la Recherche Scientifique

Institut d'Histoire et de Philosophie des Sciences et des Techniques

Vrije Universiteit Brussel

Université Paris Cité

Francesca Poggiolesi is an author at Université Paris 1 Panthéon-Sorbonne specializing in humanities, mathematics, and formal methods.

ORCID

Publications per year

2008–2021

9

Publications

9

A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5

Francesca Poggiolesi · The Review of Symbolic Logic · 2008 · 57 citations · Full text

, , +8

On defining the notion of complete and immediate formal grounding

Francesca Poggiolesi · Synthese · 2015 · 46 citations · Full text

, , +11

On constructing a logic for the notion of complete and immediate formal grounding

Francesca Poggiolesi · Synthese · 2016 · 46 citations · Full text

, , +12

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

Francesca Poggiolesi · Studia Logica · 2010 · 18 citations · Full text

, , +11

A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY

Francesca Poggiolesi · The Review of Symbolic Logic · 2009 · 18 citations · Full text

, , +16

1–5 of 9