Assertion: classical logic | /r/HasProperty | possible
Facets:
Source sentences:
text: (Thus classical logic with nonrigid designators is possible only if we require for each singular term \(t\) that at each world \(w\), \(t\) denotes some object in \(\bD_w\).)