  The principal result by Kuznets in (Brezhnev and Kuznets 2006) states that self-referentiality of justifications is unavoidable in  realization of \(\mathsf{S4}\) in \(\mathsf{LP}\). The current  state of things is given by the following theorem due to Kuznets: