Theorem Proving for Lewis Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (CILC, 2020)

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (J. Log. Comput., 2022)