Assertion: logic's semantic | /r/Desires | free logic
Facets:
Source sentences:
text: Such a semantics also requires free logic when \(\bD_o\) contains objects not in \(\bU\), for in that case rigid designators of these objects are empty in all worlds.