Francesca Poggiolesi
On constructing a logic for the notion of complete and immediate formal grounding
2018
Synthese 195/3
On defining the notion of complete and immediate formal grounding
2016
Synthese 193/10
2015
Philosophia Scientiae 19/2
Display calculi and other modal calculi
2010
Synthese 173/3
The method of tree-hypersequents for modal propositional logic
2009
in: Towards mathematical philosophy, Dordrecht : Springer