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
1422010
The method of tree-hypersequents for modal propositional logic
F Poggiolesi
Towards mathematical philosophy, 31-51, 2009
932009
A cut-free simple sequent calculus for modal logic S5
F Poggiolesi
The Review of Symbolic Logic 1 (1), 3-15, 2008
552008
On defining the notion of complete and immediate formal grounding
F Poggiolesi
Synthese 193 (10), 3147-3167, 2016
442016
On constructing a logic for the notion of complete and immediate formal grounding
F Poggiolesi
Synthese 195 (3), 1231-1254, 2018
302018
A contraction-free and cut-free sequent calculus for propositional dynamic logic
B Hill, F Poggiolesi
Studia Logica 94 (1), 47-72, 2010
212010
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
162009
Interpreting and applying proof theories for modal logic
FGR Poggiolesi, G Restall
New waves in philosophical logic, 39-62, 2012
152012
Sequent calculi for modal logic
F Poggiolesi
Ph. D. thesis, University of Florence, 2008
152008
A critical overview of the most recent logics of grounding
F Poggiolesi
Objectivity, Realism, and Proof, 291-309, 2016
142016
On the importance of being analytic the paradigmatic case of the logic of proofs
F Poggiolesi
Logique et Analyse, 443-461, 2012
122012
Display calculi and other modal calculi: a comparison
F Poggiolesi
Synthese 173 (3), 259-279, 2010
122010
Grounding principles for (relevant) implication
F Poggiolesi
Synthese 198 (8), 7351-7376, 2021
82021
Natural deduction calculi and sequent calculi for counterfactual logics
F Poggiolesi
Studia Logica 104 (5), 1003-1036, 2016
82016
A proof-based framework for several types of grounding
F Poggiolesi
Logique et Analyse 252, 387-414, 2020
72020
Logics
F Poggiolesi
The Routledge Handbook of Metaphysical Grounding, 213-227, 2020
62020
Towards a satisfying proof analysis of the logic of proofs
F Poggiolesi
Proceedings of the Second ILCLI International Workshop on Logic and …, 2010
62010
Reflecting the semantic features of S5 at the syntactic level
F Poggiolesi
New Essays in Logic and Philosophy of Science, 13-25, 2010
62010
Common knowledge: a finitary calculus with a syntactic cut-elimination procedure
F Poggiolesi, B Hill
Logique et Analyse, 279-306, 2015
52015
From single agent to multi-agent via hypersequents
F Poggiolesi
Logica Universalis 7 (2), 147-166, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20