A First-Order Logic for Reasoning about Knowledge and Probability

Siniša Tomović, Zoran Ognjanović, Dragan Doder

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 propose…