Assertion: modal logic | /r/CapableOf | call shift reflexivity
Facets:
value: sometimes
type: TEMPORAL
Source sentences:
text: For instance, the normal modal logic using the axiom scheme \({\square}({\square}X{\rightarrow}X)\), sometimes called shift reflexivity, is not a Geach logic, but it does have a justification counterpart.