The tree-hypersequent method for modal propositional logic (2009)

by Francesca Poggiolesi
Venue:Trends in Logic: Towards Mathematical Philsophy