A Standard Internal Calculus for Lewis' Counterfactual Logics.

Nicola Olivetti, Gian Luca Pozzato

Browse the full TABLEAUX paper archive.