Standard Sequent Calculi for Lewis' Logics of Counterfactuals.

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

Browse the full JELIA paper archive.