Generic Modal Cut Elimination Applied to Conditional Logics.

Dirk Pattinson, Lutz Schrder

Browse the full TABLEAUX paper archive.