TY - JOUR
T1 - Towards classifying propositional probabilistic logics
AU - De Bona, Glauber
AU - Cozman, Fabio Gagliardi
AU - Finger, Marcelo
PY - 2014/1/1
Y1 - 2014/1/1
N2 - This paper examines two aspects of propositional probabilistic logics: the nesting of probabilistic operators, and the expressivity of probabilistic assessments. We show that nesting can be eliminated when the semantics is based on a single probability measure over valuations; we then introduce a classification for probabilistic assessments, and present novel results on their expressivity. Logics in the literature are categorized using our results on nesting and on probabilistic expressivity. © 2014 Elsevier B.V.
AB - This paper examines two aspects of propositional probabilistic logics: the nesting of probabilistic operators, and the expressivity of probabilistic assessments. We show that nesting can be eliminated when the semantics is based on a single probability measure over valuations; we then introduce a classification for probabilistic assessments, and present novel results on their expressivity. Logics in the literature are categorized using our results on nesting and on probabilistic expressivity. © 2014 Elsevier B.V.
UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84904066947&origin=inward
UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84904066947&origin=inward
U2 - 10.1016/j.jal.2014.01.005
DO - 10.1016/j.jal.2014.01.005
M3 - Article
SN - 1570-8683
SP - 349
EP - 368
JO - Journal of Applied Logic
JF - Journal of Applied Logic
ER -