Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.

Bjrn Lellmann, Dirk Pattinson

Browse the full TABLEAUX paper archive.