We present two complex valued probabilistic logics, LCOMP$_B$ and LCOMP$_S$, which extend classical propositional logic. In LCOMP$_B$ one can express formulas of the form $B_{z,ho}lpha$ meaning that the probability of $lpha$ is in the complex ball with the center $z$ and the radius $ho$, while in LCOMP$_S$ one can make statements of the form $S_{z,ho}lpha$ with the intended meaning – the probability of propositional formula $lpha$ is in the complex square with the center $z$ and the side $2ho$. The corresponding strongly complete axiom systems are provided. Decidability of the logics are proved by reducing the satisfiability problem for LCOMP$_B$ (LCOMP$_S$) to the problem of solving systems of quadratic (linear) inequalities.
展开▼
