Assertion: logic's semantic | /r/CapableOf | provide basis
Facets:
value: for translating modal axioms
type: PURPOSE
Source sentences:
text: Kripke’s semantics provides a basis for translating modal axioms into sentences of a second-order language where quantification is allowed over one-place predicate letters \(P\).