EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 87(101), pp. 75–83 (2010)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home


Pick a mirror



Milos Milosevic

Matematicki institut SANU, Kneza Mihaila 36, Beograd, Serbia

Abstract: We present the $p$-adic probability logic $LpPP$ based on the paper \cite{5} of A. Khrennikov et al. The logical language contains formulas such as $P_{=s}(\alpha)$ with the intended meaning "the probability of $\alpha$ is equal to $s$", where $\alpha$ is a propositional formula. We introduce a class of Kripke-like models that combine properties of the usual Kripke models and finitely additive $p$-adic probabilities. We propose an infinitary axiom system and prove that it is sound and strongly complete with respect to the considered class of models. In the paper the terms finitary and infinitary concern the meta language only, i.e., the logical language is countable, formulas are finite, while only proofs are allowed to be infinite. We analyze decidability of $LpPP$ and provide a procedure which decides satisfiability of a given probability formula.

Classification (MSC2000): 03B48; 03B42; 03B45

Full text of the article: (for faster download, first choose a mirror)

Electronic fulltext finalized on: 20 Apr 2010. This page was last modified: 14 May 2010.

© 2010 Mathematical Institute of the Serbian Academy of Science and Arts
© 2010 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition