Geodesic
The resolution tableau for logics of likelihood
Kragujevac Journal of Mathematics, Tome 23 (2001) no. 1 
Zoran Ognjanović. The resolution tableau for logics of likelihood. Kragujevac Journal of Mathematics, Tome 23 (2001) no. 1. http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/
@article{KJM_2001_23_1_a12,
     author = {Zoran Ognjanovi\'c},
     title = {The resolution tableau for logics of likelihood},
     journal = {Kragujevac Journal of Mathematics},
     pages = {107 - 117},
     year = {2001},
     volume = {23},
     number = {1},
     url = {http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/}
}
TY  - JOUR
AU  - Zoran Ognjanović
TI  - The resolution tableau for logics of likelihood
JO  - Kragujevac Journal of Mathematics
PY  - 2001
SP  - 107 
EP  -  117
VL  - 23
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/
ID  - KJM_2001_23_1_a12
ER  - 
%0 Journal Article
%A Zoran Ognjanović
%T The resolution tableau for logics of likelihood
%J Kragujevac Journal of Mathematics
%D 2001
%P 107 - 117
%V 23
%N 1
%U http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/
%F KJM_2001_23_1_a12

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

Kragujevac J. Math. 23 (2001) 107-117. THE RESOLUTION TABLEAU FOR LOGICS OF LIKELIHOODZoran OgnjanovicMatematicki institut, Kneza Mihaila 35, 11000 Beograd, Yugoslavia (Received May 15, 2001) Abstract. In this article we consider a proof procedure for logics of likelihood. The procedure relies on tableau-like and resolution-like inferences and is suitable for execution on parallel computers.