Glauber de Bona (Sao Paulo) gives a talk at "Progic 2013", the Sixth Workshop on Combining Probability and Logic (17-18 Sept, 2013), titled "Towards Classifying Propositional Probabilistic Logics".