Modular Sequent Systems for Modal Logic.

Kai Brnnler, Lutz Straburger

Browse the full TABLEAUX paper archive.