Standard Sequent Calculi for Lewis' Logics of Counterfactuals

  title={Standard Sequent Calculi for Lewis' Logics of Counterfactuals},
  author={Marianna Girlando and Bj{\"o}rn Lellmann and Nicola Olivetti and Gian Luca Pozzato},
We present new sequent calculi for Lewis’ logics of counterfactuals. The calculi are based on Lewis’ connective of comparative plausibility and modularly capture almost all logics of Lewis’ family. Our calculi are standard, in the sense that each connective is handled by a finite number of rules with a fixed and finite number of premises; internal, meaning that a sequent denotes a formula in the language, and analytical. We present two equivalent versions of the calculi: in the first one, the… CONTINUE READING