Complexity for probability logic with quantifiers over propositions
Stanislav Olegovich Speranski · Journal of Logic and Computation · 2012
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the Π11-completeness for the general validity and also indicate the least level in the hierarchy for which the validity problem is undecidable.