Probabilistic logics with independence and probabilistic support

Abstract

The main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [7] to obtain several variants of probabilistic logics by adding qualitative operators for independence and support to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discussdecidability issues.