A First-Order Logic of Probability and Only Knowing in Unbounded Domains