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

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].
Classification : 03B48 60A05
Keywords: Probability logic, Probability model, Linear inequalities involving probabilities 
Tatjana Stojanović; Ana Kaplarević-Mališić; Zoran Ognjanović. An extension of the probability logic $LPP_2$. Kragujevac Journal of Mathematics, Tome 33 (2010), p. 45 . http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/
@article{KJM_2010_33_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 },
     year = {2010},
     volume = {33},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KJM_2010_33_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 
VL  - 33
UR  - http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/
LA  - en
ID  - KJM_2010_33_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 
%V 33
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/
%G en
%F KJM_2010_33_a3