Publications de l'Institut Mathématique, Nouvelle Série Vol. 93(107), pp. 19–27 (2013) 

A FIRSTORDER CONDITIONAL PROBABILITY LOGIC WITH ITERATIONSMilos Milosevic, Zoran OgnjanovicMathematical Institute, Serbian Academy of Sciences and Arts, Beograd, SerbiaAbstract: We investigate a firstorder conditional probability logic with equality, which is, up to our knowledge, the first treatise of such logic. The logic, denoted $\operatorname{LFPOIC}^{=}$, allows making statements such as: $CP_{\geq s}(\phi,\theta)$, and $CP_{\leq s}(\phi,\theta)$, with the intended meaning that the conditional probability of $\phi$ given $\theta$ is at least (at most) $s$. The corresponding syntax, semantic, and axiomatic system are introduced, and Extended completeness theorem is proven. Classification (MSC2000): 03B48, 03B042, 03B45 Full text of the article: (for faster download, first choose a mirror)
Electronic fulltext finalized on: 2 Apr 2013. This page was last modified: 8 Apr 2013.
© 2013 Mathematical Institute of the Serbian Academy of Science and Arts
