Rašković [3] introduced a conservative extension of classical propositional logic with some probability operators and proved corresponding completeness and decidability theorem. We prove the Robinson's consistency and Craig interpolation for this logic.