A first-order conditional probability logic with iterations
Miloš Milošević, Zoran Ognjanović · Publications de l Institut Mathematique · 2013
We investigate a first-order conditional probability logic with equality, which is, up to our knowledge, the first treatise of such logic. The logic, denoted LFPOIC=, allows making statements such as: CP?s(?, ?), and CP?s(?, ?), with the intended meaning that the conditional probability of ? given ? is at least (at most) s. The corresponding syntax, semantic, and axiomatic system are introduced, and Extended completeness theorem is proven.