Sequent Systems for Lewis' Conditional Logics.

Bjrn Lellmann, Dirk Pattinson

Browse the full JELIA paper archive.