References
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
Are the validities of modal logic analytic? or analyticity again, through information, proof, modal logic and Hintikka
2015
Philosophia Scientiae 19/2
Display calculi and other modal calculi: a comparison
2010
Synthese 173/3
The method of tree-hypersequents for modal propositional logic
2009
in: Towards mathematical philosophy, Dordrecht : Springer