Towards classifying propositional probabilistic logics

Glauber De Bona, Fabio Gagliardi Cozman, Marcelo Finger

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

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.
Original languageAmerican English
Pages (from-to)349-368
Number of pages20
JournalJournal of Applied Logic
DOIs
StatePublished - 1 Jan 2014
Externally publishedYes

Fingerprint

Dive into the research topics of 'Towards classifying propositional probabilistic logics'. Together they form a unique fingerprint.

Cite this