The method of tree-hypersequents for modal propositional logic

Francesca Poggiolesi

pp. 31-51


This document is unfortunately not available for download at the moment.

Not implemented yet !