The logic V is the basic logic of counterfactuals in the family of Lewis’ systems. It is characterized by the whole class of so-called sphere models. We propose a new sequent calculus for this logic. Our calculus takes as primitive Lewis’ connective of comparative plausibility ≤: a formula A ≤ B intuitively means that A is at least as plausible as B. Our calculus is standard in the sense that each connective is handled by a finite number of rules with a fixed and finite number of premises. Moreover our calculus is “internal”, in the sense that each sequent can be directly translated into a formula of the language. We show that the calculus provides an optimal decision procedure for the logic V.
CITATION STYLE
Olivetti, N., & Pozzato, G. L. (2015). A standard internal calculus for Lewis’ counterfactual logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9323, pp. 270–286). Springer Verlag. https://doi.org/10.1007/978-3-319-24312-2_19
Mendeley helps you to discover research relevant for your work.