Geodesic
An extension of the probability logic $LPP_2$
Kragujevac Journal of Mathematics, Tome 33 (2010) no. 1.

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

In this paper we present a probability logic which allows Boolean combinations of formulas of the form of $a_1w(\varphi_1)+\cdots+a_kw(\varphi_k)\geq c$, where $\varphi_1,\ldots,\varphi_k$ are propositional formulas, $a_1,\ldots,a_k,c$ are rational numbers. The logic with such syntax was introduced in [1]. We present axiomatic system along with the ideas from [2, 3] and prove extended completeness, instead of simple completeness shown in [1]. 
@article{KJM_2010_33_1_a3,
     author = {Tatjana Stojanovi\'c and Ana Kaplarevi\'c-Mali\v{s}i\'c and Zoran Ognjanovi\'c},
     title = {An extension of the probability logic $LPP_2$},
     journal = {Kragujevac Journal of Mathematics},
     pages = {45 - 62},
     publisher = {mathdoc},
     volume = {33},
     number = {1},
     year = {2010},
     url = {http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a3/}
}
TY  - JOUR
AU  - Tatjana Stojanović
AU  - Ana Kaplarević-Mališić
AU  - Zoran Ognjanović
TI  - An extension of the probability logic $LPP_2$
JO  - Kragujevac Journal of Mathematics
PY  - 2010
SP  - 45 
EP  -  62
VL  - 33
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a3/
ID  - KJM_2010_33_1_a3
ER  - 
%0 Journal Article
%A Tatjana Stojanović
%A Ana Kaplarević-Mališić
%A Zoran Ognjanović
%T An extension of the probability logic $LPP_2$
%J Kragujevac Journal of Mathematics
%D 2010
%P 45 - 62
%V 33
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a3/
%F KJM_2010_33_1_a3
Tatjana Stojanović; Ana Kaplarević-Mališić; Zoran Ognjanović. An extension of the probability logic $LPP_2$. Kragujevac Journal of Mathematics, Tome 33 (2010) no. 1. http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a3/