  can help in interpreting his provability calculus  \(\mathsf{S4}\) (Gödel 1938). Unfortunately,  Gödel’s work (Gödel 1938) remained unpublished until 1995,  by which time the Gödelian logic of explicit proofs had already  been rediscovered, and axiomatized as the Logic of Proofs  \(\mathsf{LP}\) and supplied with  completeness theorems connecting it to both  \(\mathsf{S4}\)  and classical proofs (Artemov 1995).