Towards classifying propositional probabilistic logics

Glauber De Bona, Fabio Gagliardi Cozman, Marcelo Finger

Resultado de la investigación: Contribución a una revistaArtículo

9 Citas (Scopus)

Resumen

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.
Idioma originalInglés estadounidense
Páginas (desde-hasta)349-368
Número de páginas20
PublicaciónJournal of Applied Logic
DOI
EstadoPublicada - 1 ene 2014
Publicado de forma externa

Huella Profundice en los temas de investigación de 'Towards classifying propositional probabilistic logics'. En conjunto forman una huella única.

  • Citar esto