On constructing a logic for the notion of complete and immediate formal grounding

2018

Francesca Poggiolesi

Synthese 195 (3)

On defining the notion of complete and immediate formal grounding

2016

Francesca Poggiolesi

Synthese 193 (10)

Are the validities of modal logic analytic? or analyticity again, through information, proof, modal logic and Hintikka

2015

Francesca Poggiolesi

Philosophia Scientiae 19 (2)

Display calculi and other modal calculi

A comparison

2010

Francesca Poggiolesi

Synthese 173 (3)

The method of tree-hypersequents for modal propositional logic

2009

Francesca Poggiolesi

in: Towards mathematical philosophy, Berlin,