Geodesic
A Logic With Higher Order Probabilities
Publications de l'Institut Mathématique, _N_S_60 (1996) no. 74, p. 1

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

An extension of the propositional probability logic LPP given in [3] that allows higher order probabilities is introduced. The corresponding completeness and decidability theorems are proved.
Classification : 03B80 67T27 
@article{PIM_1996_N_S_60_74_a0,
     author = {Zoran Ognjanovi\'c and Miodrag Ra\v{s}kovi\'c},
     title = {A {Logic} {With} {Higher} {Order} {Probabilities}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {1 },
     publisher = {mathdoc},
     volume = {_N_S_60},
     number = {74},
     year = {1996},
     zbl = {0884.03019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1996_N_S_60_74_a0/}
}
TY  - JOUR
AU  - Zoran Ognjanović
AU  - Miodrag Rašković
TI  - A Logic With Higher Order Probabilities
JO  - Publications de l'Institut Mathématique
PY  - 1996
SP  - 1 
VL  - _N_S_60
IS  - 74
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1996_N_S_60_74_a0/
LA  - en
ID  - PIM_1996_N_S_60_74_a0
ER  - 
%0 Journal Article
%A Zoran Ognjanović
%A Miodrag Rašković
%T A Logic With Higher Order Probabilities
%J Publications de l'Institut Mathématique
%D 1996
%P 1 
%V _N_S_60
%N 74
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1996_N_S_60_74_a0/
%G en
%F PIM_1996_N_S_60_74_a0
Zoran Ognjanović; Miodrag Rašković. A Logic With Higher Order Probabilities. Publications de l'Institut Mathématique, _N_S_60 (1996) no. 74, p. 1 . http://geodesic.mathdoc.fr/item/PIM_1996_N_S_60_74_a0/