Geodesic
The paper summarizes the results of the authors in formalization of uncertain reasoning. A number of probability logics is considered. Their axiomatizations, completeness, compactness and decidability are addressed. Some possible applications of probability logics are analyzed. A historical overview of related works is given.
Classification : 68T37 03B60 03B70 68Ti5 68T27 68T30 03B35 03B44 03B45 03B42
Keywords: probability logic, conditional probability, approximate probability, non-standard analysis, strong completeness, decidability, default reasoning 
@article{ZR_2009_12_20_a2,
     author = {Zoran Ognjanovi\'c and Miodrag Ra\v{s}kovi\'c and Zoran Markovi\'c},
     title = {Probability {Logics}},
     journal = {Zbornik radova},
     pages = {35 },
     publisher = {mathdoc},
     volume = {12},
     number = {20},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a2/}
}
TY  - JOUR
AU  - Zoran Ognjanović
AU  - Miodrag Rašković
AU  - Zoran Marković
TI  - Probability Logics
JO  - Zbornik radova
PY  - 2009
SP  - 35 
VL  - 12
IS  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a2/
LA  - en
ID  - ZR_2009_12_20_a2
ER  - 
%0 Journal Article
%A Zoran Ognjanović
%A Miodrag Rašković
%A Zoran Marković
%T Probability Logics
%J Zbornik radova
%D 2009
%P 35 
%V 12
%N 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a2/
%G en
%F ZR_2009_12_20_a2
Zoran Ognjanović; Miodrag Rašković; Zoran Marković. Probability Logics. Zbornik radova, Tome 12 (2009) no. 20, p. 35 . http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a2/