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

Previous Article

Next Article

Contents of this Issue

Other Issues


ELibM Journals

ELibM Home

EMIS Home


Pick a mirror

 

A FIRST-ORDER CONDITIONAL PROBABILITY LOGIC WITH ITERATIONS

Milos Milosevic, Zoran Ognjanovic

Mathematical Institute, Serbian Academy of Sciences and Arts, Beograd, Serbia

Abstract: 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 $\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
© 2013 FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition