Assertion: modal logic | /r/HasProperty | axiomatized by geach schemes
Facets:
value: in this family
type: LOCATION
Source sentences:
text: In a similar way every modal logic axiomatized by Geach schemes in this family has a justification counterpart, with a Fitting semantics and a realization theorem connecting the justification counterpart with the corresponding modal logic.