Zach, Richard. 2018. “Non-Analytic Tableaux for Chellas’s Conditional Logic CK and Lewis’s Logic of Counterfactuals VC.” Australasian Journal of Logic 15 (3): 609–28. https://doi.org/10.26686/ajl.v15i3.4780. Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. … Continue reading Non-analytic tableaux for Chellas’s conditional logic CK and Lewis’s logic of counterfactuals VC