@article {IIIA-2007-1317,
title = {A logic for reasoning about the probability of fuzzy events},
journal = {Fuzzy Sets and Systems},
volume = {158},
number = {6},
year = {2007},
pages = {625 {\textendash} 638},
abstract = {In this paper we present the logic $FP(\L_n,\L)$ which allows to reason about the probability of fuzzy events formalized by means of the notion of state in a MV-algebra. This logic is defined starting from a basic idea exposed by H{\'a}jek in \cite{H98}. Two kinds of semantics have been introduced, namely the class of {\em weak} and {\em strong} probabilistic models. The main result of this paper is a completeness theorem for the logic $FP(\L_n,\L)$ w.r.t. both weak and strong models. We also present two extensions of $FP(\L_n,\L)$: the first one is the logic $FP(\L_n,RPL)$, obtained by expanding the $FP(\L_n,\L)$-language with truth constants for the rationals in $[0,1]$, while the second extension is the logic $FCP(\L_n,\LΠ\half)$ allowing to reason about conditional states.},
author = {Tommaso Flaminio and Llu{\'\i}s Godo}
}