  We present a first-order probabilistic epistemic logic, which allows
combining operators of knowledge and probability within a group of possibly
infinitely many agents. The proposed framework is the first order extension of
the logic of Fagin and Halpern from (J.ACM 41:340-367,1994). We define its
syntax and semantics, and prove the strong completeness property of the
corresponding axiomatic system.
