An extension of the propositional probability logic LPP given in [3] that allows higher order probabilities is introduced. The corresponding completeness and decidability theorems are proved.