Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.

Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato

Browse the full TABLEAUX paper archive.