Assertion: modal logic | /r/CapableOf | use the axiom scheme
Facets:
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.