Assertion: classical logic | /r/CapableOf | denote some object
Facets:
value: in \(\bd_w\
type: LOCATION
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\).)