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