Francesca Poggiolesi
5 Publications
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, Berlin,
5 Publications