Assertion: logic's semantic | /r/HasProperty | formulated in ql
Facets:
Source sentences:
text: Then he introduced modalities and probability as metalinguistic concepts  as well as establishing that only by employing adequate notions of ‘temporal identity’ and ‘transworld identity’ might a Kripke-like semantics be formulated in QL .