Assertion: free logic | /r/HasProperty | characterized
Facets:
Source sentences:
text: Where \(\bD\) is, as usual, taken to be the class of existing things, free logic may be characterized as logic the referents of whose singular terms need not exist.