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.