Assertion: probability logic | /r/HasProperty | modeled
Facets:
Source sentences:
text: The following subsections provide an overview of the variations of how modal probability logic is modeled.