A logic with conditional probability operators
2010 ◽
Vol 87
(101)
◽
pp. 85-96
◽
Keyword(s):
We present a sound and strongly complete axiomatization of a reasoning about linear combinations of conditional probabilities, including comparative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure.
2016 ◽
Vol 10
(2)
◽
pp. 284-300
◽
2019 ◽
Vol 29
(7)
◽
pp. 938-971
◽
2012 ◽
Vol 20
(supp01)
◽
pp. 119-132
◽
Keyword(s):
2017 ◽
Vol 7
(1)
◽
pp. 32-63
◽
2020 ◽
Vol 819
◽
pp. 50-84
◽