Assertion: logic's semantic | /r/HasProperty | bivalent
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.
text: A negative semantics is a bivalent semantics on which all empty-termed atomic formulas (including identity statements) are false.