
References
Francesca Poggiolesi
(2000-2009)
XThe method of tree-hypersequents for modal propositional logic
2009
in: Towards mathematical philosophy, Dordrecht : Springer

(2000-2009)
X2009
in: Towards mathematical philosophy, Dordrecht : Springer