## Classical logic with some probability operators.(English)Zbl 0799.03018

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

### MSC:

 03B48 Probability and inductive logic 03C80 Logic with extra quantifiers and operators
Full Text: