  It would be a mistake to draw the conclusion that  any modal logic has a reasonable Justification Logic counterpart. For example the logic of formal provability,  \(\mathsf{GL}\), (Boolos 1993) contains the Löb Principle: