Follow
Francesca Poggiolesi,
Francesca Poggiolesi,
CNRS, CR1, IHPST
Verified email at univ-paris1.fr
Title
Cited by
Cited by
Year
Gentzen calculi for modal propositional logic
F Poggiolesi
Springer Science & Business Media, 2010
1672010
The method of tree-hypersequents for modal propositional logic
F Poggiolesi
Towards Mathematical Philosophy: Papers from the Studia Logica conference …, 2009
1122009
A cut-free simple sequent calculus for modal logic S5
F Poggiolesi
The Review of Symbolic Logic 1 (1), 3-15, 2008
682008
On defining the notion of complete and immediate formal grounding
F Poggiolesi
Synthese 193 (10), 3147-3167, 2016
592016
On constructing a logic for the notion of complete and immediate formal grounding
F Poggiolesi
Synthese 195, 1231-1254, 2018
412018
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
262009
A contraction-free and cut-free sequent calculus for propositional dynamic logic
B Hill, F Poggiolesi
Studia Logica 94, 47-72, 2010
212010
A critical overview of the most recent logics of grounding
F Poggiolesi
Objectivity, realism, and proof: FilMat studies in the philosophy of …, 2016
192016
Interpreting and applying proof theories for modal logic
F Poggiolesi, G Restall
New waves in philosophical logic, 39-62, 2012
192012
On the importance of being analytic the paradigmatic case of the logic of proofs
F Poggiolesi
Logique et Analyse, 443-461, 2012
162012
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
F Poggiolesi, F Genco
Erkenntnis 88 (4), 1481-1507, 2023
152023
Grounding principles for (relevant) implication
F Poggiolesi
Synthese 198, 7351-7376, 2021
152021
Sequent calculi for modal logic
F Poggiolesi
Ph. D. thesis, University of Florence, 2008
152008
Display calculi and other modal calculi: a comparison
F Poggiolesi
Synthese 173 (3), 259-279, 2010
132010
Logics
F Poggiolesi
The Routledge Handbook of Metaphysical Grounding, 213-227, 2020
102020
A proof-based framework for several types of grounding
F Poggiolesi
Logique et Analyse 252, 387-414, 2020
102020
Natural deduction calculi and sequent calculi for counterfactual logics
F Poggiolesi
Studia Logica 104, 1003-1036, 2016
102016
Towards a generalization of the logic of grounding
F Poggiolesi, N Francez
Theoria: An International Journal for Theory, History and Foundations of …, 2021
82021
Common knowledge: a finitary calculus with a syntactic cut-elimination procedure
F Poggiolesi, B Hill
Logique et Analyse, 279-306, 2015
82015
Reflecting the semantic features of S5 at the syntactic level
F Poggiolesi
New Essays in Logic and Philosophy of Science, 13-25, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20