Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination

Vera Koponen

We introduce a formal logical language, called conditional probability logic (CPL), which extends first-order logic and which can express probabilities, conditional probabilities a…