Assertion: logic | /r/HasProperty | constructed after saul kripke
Facets:
value: from a weak logic
type: CAUSE
Source sentences:
text: The most familiar logics in the modal family are constructed from a weak logic called \(\bK\) (after Saul Kripke).