A First-Order Logic for Reasoning about Knowledge and Probability

01/21/2019
by   Siniša Tomović, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset