Assertion: logic's semantic | /r/HasProperty | relational
Facets:
Source sentences:
text: However, modal logic is normally formalized with the principle of the excluded middle, and its relational semantics is bivalent, so this inclusion is disputable.