Assertion: modal logic | /r/HasProperty | identity \((=)\
Facets:
Source sentences:
text: However in most (but not all) quantified modal logics that include identity \((=)\) these worries may be skirted by defining \(E\) as follows.