Classical logic with some probability operators.
Publications de l 'Institut Mathématique. Nouvelle Série, 53(67) (1993), p. 1.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 03B48, 03C80
Mots-clés : logics with probability operators, completeness, decidability 
@article{PIM2_1993__53(67)_257916,
     author = {Ra\v{s}kovi\'c, Miodrag},
     title = {Classical logic with some probability operators.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {1},
     publisher = {mathdoc},
     volume = {53(67)},
     year = {1993},
     zbl = {0799.03018},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1993__53(67)_257916/}
}
TY  - JOUR
AU  - Rašković, Miodrag
TI  - Classical logic with some probability operators.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1993
SP  - 1
VL  - 53(67)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1993__53(67)_257916/
LA  - en
ID  - PIM2_1993__53(67)_257916
ER  - 
%0 Journal Article
%A Rašković, Miodrag
%T Classical logic with some probability operators.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1993
%P 1
%V 53(67)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1993__53(67)_257916/
%G en
%F PIM2_1993__53(67)_257916
Rašković, Miodrag. Classical logic with some probability operators.. Publications de l 'Institut Mathématique. Nouvelle Série, 53(67) (1993), p. 1. https://geodesic-test.mathdoc.fr/item/PIM2_1993__53(67)_257916/