122274

References

Francesca Poggiolesi

(2000-2009)

X
The method of tree-hypersequents for modal propositional logic

2009

in: Towards mathematical philosophy, Dordrecht : Springer

Open Access Link