×

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
PDF BibTeX XML Cite
Full Text: EuDML