Assertion: logic | /r/HasProperty | formula
Facets:
Source sentences:
text: If a logic includes formulae that mean that something is not known, this logic should not be monotonic.
text: Logic in a practical sense includes both the formulae and the facts.