Samson Abramsky Jouko A. Väänänen From IF to BI. 207-230 2009 167 Synthese 2 http://dx.doi.org/10.1007/s11229-008-9415-6 db/journals/synthese/synthese167.html#AbramskyV09