Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.

Rosalie Iemhoff, George Metcalfe

Browse the full LFCS paper archive.