with Wang, L. , 2014, 'Comparative syllogism and counterfactual knowledge', Synthese 191 (6), 1327-1348.