TY - RPRT TI - Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC AU - Richard Zach PY - 2018 DO - 10.26686/ajl.v15i3.4780 UR - https://arxiv.org/abs/1805.09446 ID - 1805.09446 ER -