Classical Logic With Some Probability Operators


Miodrag Rašković


We introduce a conservative extension of classical predicate (propositional) logic and prove corresponding completeness (and decidability) theorem.