VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.

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

Browse the full TABLEAUX paper archive.