Combining Probability and Logic, 17–18 September. tr 2013, 7 (12).