Completeness Theorem for Boolean Models with Strictly Positive Measure


Nebojša Ikodinović




Rašković [3] introduce a conservative extension of classical propositional logic with some probability operators and prove corresponding completeness and decidability theorem. The aim of this paper is to prove Robinson consistency and Craig interpolation for this logic.