A First-order Logic for Reasoning about Knowledge and Probability
Siniša Tomović, Zoran Ognjanović, Dragan Doder · ACM Transactions on Computational Logic · 2020
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. We define its syntax and semantics and prove the strong completeness property of the corresponding axiomatic system. 1