Rašković, Miodrag Classical logic with some probability operators. (English) Zbl 0799.03018 Publ. Inst. Math., Nouv. Sér. 53(67), 1-3 (1993). Summary: We introduce a conservative extension of classical predicate (propositional) logic and prove the corresponding completeness (and decidability) theorem. Cited in 3 ReviewsCited in 8 Documents MSC: 03B48 Probability and inductive logic 03C80 Logic with extra quantifiers and operators Keywords:logics with probability operators; completeness; decidability PDF BibTeX XML Cite \textit{M. Rašković}, Publ. Inst. Math., Nouv. Sér. 53(67), 1--3 (1993; Zbl 0799.03018) Full Text: EuDML OpenURL