Geodesic
A First Order Probability Logic - LP(Q)
Publications de l'Institut Mathématique, _N_S_65 (1999) no. 79, p. 1 .

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

A conservative extension of the classical first order logic which allows making statements about probability is introduced. Some classes of probability models are described. An infinitary axiomatic system which is sound and complete with respect to these classes of models is given.
Classification : 03B48 
@article{PIM_1999_N_S_65_79_a0,
     author = {Miodrag Ra\v{s}kovi\'c and Zoran Ognjanovi\'c},
     title = {A {First} {Order} {Probability} {Logic} - {LP(Q)}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {1 },
     publisher = {mathdoc},
     volume = {_N_S_65},
     number = {79},
     year = {1999},
     zbl = {1006.03018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a0/}
}
TY  - JOUR
AU  - Miodrag Rašković
AU  - Zoran Ognjanović
TI  - A First Order Probability Logic - LP(Q)
JO  - Publications de l'Institut Mathématique
PY  - 1999
SP  - 1 
VL  - _N_S_65
IS  - 79
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a0/
LA  - en
ID  - PIM_1999_N_S_65_79_a0
ER  - 
%0 Journal Article
%A Miodrag Rašković
%A Zoran Ognjanović
%T A First Order Probability Logic - LP(Q)
%J Publications de l'Institut Mathématique
%D 1999
%P 1 
%V _N_S_65
%N 79
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a0/
%G en
%F PIM_1999_N_S_65_79_a0
Miodrag Rašković; Zoran Ognjanović. A First Order Probability Logic - LP(Q). Publications de l'Institut Mathématique, _N_S_65 (1999) no. 79, p. 1 . http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a0/