Paris-Munich Workshop in Formal Philosophy, 7–8 February. tr 2013, 7 (3).