Biprobability logic with conditional expectation
This paper is devoted to fill the gap in studying logics for biprobability structures. We introduce the logic with two conditional expectation operators and prove the completeness theorem.  2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
conditional expectation completeness probability logic msc (2010) 03c70 03c80