Geodesic
$L_{ACP}^k>$ logic and completeness theorem
Kragujevac Journal of Mathematics, Tome 29 (2006) no. 1.

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

To $L_{\mathbb{A}P}$ logic we add a new type of CP-quantifiers and prove the completeness theorem for new logic $L_{\mathbb{A}CP}^k$. The new axioms result from the condition probability introduced by Kolmogorov, which explains the "k" letter in the name of the new logic. 
@article{KJM_2006_29_1_a9,
     author = {Vladimir Risti\'c},
     title = {$L_{ACP}^k>$ logic and completeness theorem},
     journal = {Kragujevac Journal of Mathematics},
     pages = {99 - 111},
     publisher = {mathdoc},
     volume = {29},
     number = {1},
     year = {2006},
     zbl = {1121.03030},
     url = {http://geodesic.mathdoc.fr/item/KJM_2006_29_1_a9/}
}
TY  - JOUR
AU  - Vladimir Ristić
TI  - $L_{ACP}^k>$ logic and completeness theorem
JO  - Kragujevac Journal of Mathematics
PY  - 2006
SP  - 99 
EP  -  111
VL  - 29
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2006_29_1_a9/
ID  - KJM_2006_29_1_a9
ER  - 
%0 Journal Article
%A Vladimir Ristić
%T $L_{ACP}^k>$ logic and completeness theorem
%J Kragujevac Journal of Mathematics
%D 2006
%P 99 - 111
%V 29
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2006_29_1_a9/
%F KJM_2006_29_1_a9
Vladimir Ristić. $L_{ACP}^k>$ logic and completeness theorem. Kragujevac Journal of Mathematics, Tome 29 (2006) no. 1. http://geodesic.mathdoc.fr/item/KJM_2006_29_1_a9/