Combining Probability and Logic, 17-19 September. tr 2009, 3 (11).