References
Francesca Poggiolesi
(2018). On constructing a logic for the notion of complete and immediate formal grounding. Synthese 195 (3), pp. 1231-1254.
(2016). On defining the notion of complete and immediate formal grounding. Synthese 193 (10), pp. 3147-3167.
(2015). Are the validities of modal logic analytic? or analyticity again, through information, proof, modal logic and Hintikka. Philosophia Scientiae 19 (2), pp. 221-243.
(2010). Display calculi and other modal calculi: a comparison. Synthese 173 (3), pp. 259-279.
(2009)., The method of tree-hypersequents for modal propositional logic, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 31-51.