Assertion: probability logic | /r/HasProperty | first-order probability logics
Facets:
Source sentences:
text: Bacchus (1990) and Halpern (1990) also provide complete axiomatizations as well as combinations of first-order probability logics and possible-world first-order probability logics respectively.