Switch to: References

Add citations

You must login to add citations.
  1. Sharpening complexity results in quantified probability logic.Stanislav O. Speranski - forthcoming - Logic Journal of the IGPL.
    We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of Fagin et al. (A logic for reasoning about probabilities, Inform Comput, 1990; 87:78–128). One of these, denoted by ${\textsf{QPL}}^{\textrm{e}}$, is obtained by adding quantifiers over arbitrary events, and the other, denoted by $\underline{{\textsf{QPL}}}^{\textrm{e}}$, uses quantifiers over propositional formulas—or equivalently, over events expressible by such formulas. The earlier proofs of the complexity lower bound results for ${\textsf{QPL}}^{\textrm{e}}$ and $\underline{{\textsf{QPL}}}^{\textrm{e}}$ relied heavily on multiplication, and therefore on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An ‘elementary’ perspective on reasoning about probability spaces.Stanislav O. Speranski - forthcoming - Logic Journal of the IGPL.
    This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and moreover, all (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation